tests/ui/const-generics/generic_const_exprs/const_kind_expr/wf_obligation.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/wf_obligation.rs:17:17
   3    |
   4 LL |     foo::<_, L>([(); L + 1 + L]);
   5    |                 ^^^^^^^^^^^^^^^ expected `N + 1 + M`, found `L + 1 + L`
   6    |
   7    = note: expected constant `N + 1 + M`
   8               found constant `L + 1 + L`
   9
  10 error: unconstrained generic constant
  11   --> $DIR/wf_obligation.rs:17:22
  12    |
  13 LL |     foo::<_, L>([(); L + 1 + L]);
  14    |                      ^^^^^^^^^
  15    |
  16    = help: try adding a `where` bound using this expression: `where [(); L + 1 + L]:`
  17
  18 error: aborting due to 2 previous errors
  19
  20 For more information about this error, try `rustc --explain E0308`.