[rustc.git] / tests / ui / consts / const-eval / issue-64908.rs

// run-pass

// This test verifies that the `ConstProp` pass doesn't cause an ICE when evaluating polymorphic
// promoted MIR.

pub trait ArrowPrimitiveType {
    type Native;
}

pub fn new<T: ArrowPrimitiveType>() {
    assert_eq!(0, std::mem::size_of::<T::Native>());
}

impl ArrowPrimitiveType for () {
    type Native = ();
}

fn main() {
    new::<()>();
}
Commit	Line	Data
e74abb32 XL	1	// run-pass
	2
	3	// This test verifies that the `ConstProp` pass doesn't cause an ICE when evaluating polymorphic
	4	// promoted MIR.
	5
	6	pub trait ArrowPrimitiveType {
	7	type Native;
	8	}
	9
	10	pub fn new<T: ArrowPrimitiveType>() {
	11	assert_eq!(0, std::mem::size_of::<T::Native>());
	12	}
	13
	14	impl ArrowPrimitiveType for () {
	15	type Native = ();
	16	}
	17
	18	fn main() {
	19	new::<()>();
	20	}