2 #![feature(generic_const_exprs)]
3 #![allow(incomplete_features)]
5 // This tests that the inhabited check doesn't cause
6 // ICEs by trying to evaluate `T::ASSOC` with an incorrect `ParamEnv`.
9 const ASSOC: usize = 1;
12 #[allow(unused_tuple_struct_fields)]
13 struct Iced<T: Foo>(T, [(); T::ASSOC])
20 let _iced: Iced<u32> = return;