Failing test

1 files changed, 31 insertions, 0 deletions

diff --git a/src/test/ui/rfc-2632-const-trait-impl/const-drop-fail.rs b/src/test/ui/rfc-2632-const-trait-impl/const-drop-fail.rs
new file mode 100644
index 00000000000..fd7c491c7da
--- /dev/null
+++ b/src/test/ui/rfc-2632-const-trait-impl/const-drop-fail.rs
@@ -0,0 +1,31 @@
+#![feature(const_trait_impl)]
+#![feature(const_mut_refs)]
+#![feature(const_fn_trait_bound)]
+
+struct NonTrivialDrop;
+
+impl Drop for NonTrivialDrop {
+    fn drop(&mut self) {
+        println!("Non trivial drop");
+    }
+}
+
+struct ConstImplWithDropGlue(NonTrivialDrop);
+
+impl const Drop for ConstImplWithDropGlue {
+    fn drop(&mut self) {}
+}
+
+const fn check<T: ~const Drop>() {}
+
+macro_rules! check_all {
+    ($($T:ty),*$(,)?) => {$(
+        const _: () = check::<$T>();  
+    )*};
+}
+
+check_all! {
+    ConstImplWithDropGlue,
+}
+
+fn main() {}