#![feature(const_generics)]
#![allow(incomplete_features)]
struct Arr<const N: usize>
-where Assert::<{N < usize::max_value() / 2}>: IsTrue, //~ ERROR constant expression
+where Assert::<{N < usize::MAX / 2}>: IsTrue, //~ ERROR constant expression
{
}
impl IsTrue for Assert<true> {}
fn main() {
- let x: Arr<{usize::max_value()}> = Arr {};
+ let x: Arr<{usize::MAX}> = Arr {};
//~^ ERROR mismatched types
//~| ERROR mismatched types
}