Failing test for computing drop shim that has const param

cuviper · Jun 28, 2024 · 90c2b23 · 90c2b23
1 parent 99f77a2
commit 90c2b23
Show file tree

Hide file tree

Showing 2 changed files with 278 additions and 0 deletions.
diff --git a/tests/ui/const-generics/polymorphic-drop-shim.rs b/tests/ui/const-generics/polymorphic-drop-shim.rs
@@ -0,0 +1,21 @@
+//@ compile-flags: -Zinline-mir=yes --crate-type=lib
+
+//@ known-bug: unknown
+//@ build-fail
+//@ failure-status: 101
+
+use std::mem::ManuallyDrop;
+
+pub struct Foo<T, const N: usize>([T; N]);
+
+pub struct Dorp {}
+
+impl Drop for Dorp {
+    fn drop(&mut self) {}
+}
+
+#[inline]
+// SAFETY: call this with a valid allocation idk
+pub unsafe fn drop<const M: usize>(x: *mut Foo<Dorp, M>) {
+    std::ptr::drop_in_place(x);
+}