src/test/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_usize>`
  19     let e: Example4::<7> = ();
  20     //~^ Error: mismatched types
  21     //~| expected struct `Example4<7_usize>`
  22 }