error[E0308]: mismatched types
  --> $DIR/generic-expr-default-mismatched-types.rs:12:5
   |
LL |     Foo::<N, { N + 2 }>
   |     ^^^^^^^^^^^^^^^^^^^ expected `{ N + 1 }`, found `{ N + 2 }`
   |
   = note: expected type `{ N + 1 }`
              found type `{ N + 2 }`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.