| error[E0308]: mismatched types |
| --> $DIR/issue-73260.rs:15:12 |
| | |
| LL | let x: Arr<{usize::MAX}> = Arr {}; |
| | ^^^^^^^^^^^^^^^^^ expected `false`, found `true` |
| | |
| = note: expected constant `false` |
| found constant `true` |
| note: required by a bound in `Arr` |
| --> $DIR/issue-73260.rs:5:37 |
| | |
| LL | struct Arr<const N: usize> |
| | --- required by a bound in this struct |
| LL | where |
| LL | Assert::<{N < usize::MAX / 2}>: IsTrue, |
| | ^^^^^^ required by this bound in `Arr` |
| |
| error[E0308]: mismatched types |
| --> $DIR/issue-73260.rs:15:32 |
| | |
| LL | let x: Arr<{usize::MAX}> = Arr {}; |
| | ^^^ expected `false`, found `true` |
| | |
| = note: expected constant `false` |
| found constant `true` |
| note: required by a bound in `Arr` |
| --> $DIR/issue-73260.rs:5:37 |
| | |
| LL | struct Arr<const N: usize> |
| | --- required by a bound in this struct |
| LL | where |
| LL | Assert::<{N < usize::MAX / 2}>: IsTrue, |
| | ^^^^^^ required by this bound in `Arr` |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0308`. |
