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

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