[rustc.git] / src / test / ui / const-generics / issues / issue-73260.rs

// compile-flags: -Zsave-analysis
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
struct Arr<const N: usize>
where
    Assert::<{N < usize::MAX / 2}>: IsTrue,
{}

enum Assert<const CHECK: bool> {}

trait IsTrue {}

impl IsTrue for Assert<true> {}

fn main() {
    let x: Arr<{usize::MAX}> = Arr {};
    //~^ ERROR mismatched types
    //~| ERROR mismatched types
}
Commit	Line	Data
1b1a35ee	1	// compile-flags: -Zsave-analysis
94222f64	2	#![feature(generic_const_exprs)]
1b1a35ee XL	3	#![allow(incomplete_features)]
1b1a35ee XL	4	struct Arr<const N: usize>
94222f64 XL	5	where
	6	Assert::<{N < usize::MAX / 2}>: IsTrue,
	7	{}
1b1a35ee XL	8
	9	enum Assert<const CHECK: bool> {}
	10
	11	trait IsTrue {}
	12
	13	impl IsTrue for Assert<true> {}
	14
	15	fn main() {
fc512014	16	let x: Arr<{usize::MAX}> = Arr {};
1b1a35ee XL	17	//~^ ERROR mismatched types
	18	//~\| ERROR mismatched types
	19	}