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