1 // Check that evaluation of needs_drop<T> fails when T is not monomorphic.
2 #![feature(generic_const_exprs)]
3 #![allow(const_evaluatable_unchecked)]
4 #![allow(incomplete_features)]
6 struct Bool
<const B
: bool
> {}
11 Bool
::<{ std::mem::needs_drop::<T>() }
>::assert();
12 //~^ ERROR no function or associated item named `assert` found
13 //~| ERROR unconstrained generic constant