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

   1 // Check that types with different const arguments are different.
   2 // revisions: full min
   3
   4 #![cfg_attr(full, feature(generic_const_exprs))]
   5 #![cfg_attr(full, allow(incomplete_features))]
   6
   7 struct ConstUsize<const V: usize> {}
   8
   9 fn main() {
  10     let mut u = ConstUsize::<3> {};
  11     u = ConstUsize::<4> {};
  12     //~^ ERROR mismatched types
  13 }