src/test/ui/const-generics/different_generic_args_array.rs

   1 // Check that different const types are different.
   2 #![feature(adt_const_params)]
   3 #![allow(incomplete_features)]
   4
   5 struct Const<const V: [usize; 1]> {}
   6
   7 fn main() {
   8     let mut x = Const::<{ [3] }> {};
   9     x = Const::<{ [4] }> {};
  10     //~^ ERROR mismatched types
  11 }