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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

error[E0308]: mismatched types
  --> $DIR/relate_binop_arg_tys.rs:13:5
   |
LL |     Bar::<{ make_generic(N, 1_u8 == 0_u8) }>
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `{ make_generic(N, true == false) }`, found `{ make_generic(N, 1_u8 == 0_u8) }`
   |
   = note: expected constant `{ make_generic(N, true == false) }`
              found constant `{ make_generic(N, 1_u8 == 0_u8) }`

error: unconstrained generic constant
  --> $DIR/relate_binop_arg_tys.rs:13:11
   |
LL |     Bar::<{ make_generic(N, 1_u8 == 0_u8) }>
   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: try adding a `where` bound using this expression: `where [(); { make_generic(N, 1_u8 == 0_u8) }]:`

error: aborting due to 2 previous errors

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