src/test/ui/const-generics/issues/issue-73260.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/issue-73260.rs:16:12
   3    |
   4 LL |     let x: Arr<{usize::MAX}> = Arr {};
   5    |            ^^^^^^^^^^^^^^^^^ expected `false`, found `true`
   6    |
   7    = note: expected constant `false`
   8               found constant `true`
   9 note: required by a bound in `Arr`
  10   --> $DIR/issue-73260.rs:6:37
  11    |
  12 LL | struct Arr<const N: usize>
  13    |        --- required by a bound in this
  14 LL | where
  15 LL |     Assert::<{N < usize::MAX / 2}>: IsTrue,
  16    |                                     ^^^^^^ required by this bound in `Arr`
  17
  18 error[E0308]: mismatched types
  19   --> $DIR/issue-73260.rs:16:32
  20    |
  21 LL |     let x: Arr<{usize::MAX}> = Arr {};
  22    |                                ^^^ expected `false`, found `true`
  23    |
  24    = note: expected constant `false`
  25               found constant `true`
  26 note: required by a bound in `Arr`
  27   --> $DIR/issue-73260.rs:6:37
  28    |
  29 LL | struct Arr<const N: usize>
  30    |        --- required by a bound in this
  31 LL | where
  32 LL |     Assert::<{N < usize::MAX / 2}>: IsTrue,
  33    |                                     ^^^^^^ required by this bound in `Arr`
  34
  35 error: aborting due to 2 previous errors
  36
  37 For more information about this error, try `rustc --explain E0308`.