tests/ui/const-generics/defaults/mismatch.rs

   1 pub struct Example<const N: usize = 13>;
   2 pub struct Example2<T = u32, const N: usize = 13>(T);
   3 pub struct Example3<const N: usize = 13, T = u32>(T);
   4 pub struct Example4<const N: usize = 13, const M: usize = 4>;
   5
   6 fn main() {
   7     let e: Example<13> = ();
   8     //~^ Error: mismatched types
   9     //~| expected struct `Example`
  10     let e: Example2<u32, 13> = ();
  11     //~^ Error: mismatched types
  12     //~| expected struct `Example2`
  13     let e: Example3<13, u32> = ();
  14     //~^ Error: mismatched types
  15     //~| expected struct `Example3`
  16     let e: Example3<7> = ();
  17     //~^ Error: mismatched types
  18     //~| expected struct `Example3<7>`
  19     let e: Example4<7> = ();
  20     //~^ Error: mismatched types
  21     //~| expected struct `Example4<7>`
  22 }