[rustc.git] / src / test / ui / const-generics / conservative_is_privately_uninhabited_uses_correct_param_env-2.rs

// run-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

// This tests that the `conservative_is_privately_uninhabited` fn doesn't cause
// ICEs by trying to evaluate `T::ASSOC` with an incorrect `ParamEnv`.

trait Foo {
    const ASSOC: usize = 1;
}

struct Iced<T: Foo>(T, [(); T::ASSOC])
where
    [(); T::ASSOC]: ;

impl Foo for u32 {}

fn main() {
    let _iced: Iced<u32> = return;
}
Commit	Line	Data
6a06907d	1	// run-pass
94222f64	2	#![feature(generic_const_exprs)]
6a06907d XL	3	#![allow(incomplete_features)]
	4
	5	// This tests that the `conservative_is_privately_uninhabited` fn doesn't cause
	6	// ICEs by trying to evaluate `T::ASSOC` with an incorrect `ParamEnv`.
	7
	8	trait Foo {
	9	const ASSOC: usize = 1;
	10	}
	11
	12	struct Iced<T: Foo>(T, [(); T::ASSOC])
	13	where
	14	[(); T::ASSOC]: ;
	15
	16	impl Foo for u32 {}
	17
	18	fn main() {
	19	let _iced: Iced<u32> = return;
	20	}