src/test/ui/const-generics/defaults/generic-expr-default-concrete.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/generic-expr-default-concrete.rs:10:5
   3    |
   4 LL |     Foo::<10, 12>
   5    |     ^^^^^^^^^^^^^ expected `11`, found `12`
   6    |
   7    = note: expected type `11`
   8               found type `12`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0308`.