1 // Check that different const types are different.
4 #![cfg_attr(full, feature(const_generics))]
5 #![cfg_attr(full, allow(incomplete_features))]
6 #![cfg_attr(min, feature(min_const_generics))]
8 struct Const<const V: [usize; 1]> {}
9 //[min]~^ using `[usize; 1]` as const generic parameters is forbidden
12 let mut x = Const::<{ [3] }> {};
13 x = Const::<{ [4] }> {};
14 //[full]~^ ERROR mismatched types