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

   1 error: constant expression depends on a generic parameter
   2   --> $DIR/issue-73260.rs:6:47
   3    |
   4 LL | where Assert::<{N < usize::max_value() / 2}>: IsTrue,
   5    |                                               ^^^^^^
   6    |
   7    = note: this may fail depending on what value the parameter takes
   8
   9 error[E0308]: mismatched types
  10   --> $DIR/issue-73260.rs:17:12
  11    |
  12 LL |     let x: Arr<{usize::max_value()}> = Arr {};
  13    |            ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `false`, found `true`
  14    |
  15    = note: expected type `false`
  16               found type `true`
  17
  18 error[E0308]: mismatched types
  19   --> $DIR/issue-73260.rs:17:40
  20    |
  21 LL |     let x: Arr<{usize::max_value()}> = Arr {};
  22    |                                        ^^^ expected `false`, found `true`
  23    |
  24    = note: expected type `false`
  25               found type `true`
  26
  27 error: aborting due to 3 previous errors
  28
  29 For more information about this error, try `rustc --explain E0308`.