summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-needs_drop-monomorphic.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-needs_drop-monomorphic.rs')
-rw-r--r--src/test/ui/consts/const-needs_drop-monomorphic.rs17
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/consts/const-needs_drop-monomorphic.rs b/src/test/ui/consts/const-needs_drop-monomorphic.rs
deleted file mode 100644
index 7402c6809..000000000
--- a/src/test/ui/consts/const-needs_drop-monomorphic.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// Check that evaluation of needs_drop<T> fails when T is not monomorphic.
-#![feature(generic_const_exprs)]
-#![allow(const_evaluatable_unchecked)]
-#![allow(incomplete_features)]
-
-struct Bool<const B: bool> {}
-impl Bool<true> {
- fn assert() {}
-}
-fn f<T>() {
- Bool::<{ std::mem::needs_drop::<T>() }>::assert();
- //~^ ERROR no function or associated item named `assert` found
- //~| ERROR unconstrained generic constant
-}
-fn main() {
- f::<u32>();
-}