[rustc.git] / src / test / ui / const-generics / const_evaluatable_checked / dont-eagerly-error-in-is-const-evaluatable.rs

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

// This test is a repro for #82279. It checks that we don't error
// when calling is_const_evaluatable on `std::mem::size_of::<T>()`
// when looking for candidates that may prove `T: Foo` in `foo`

trait Foo {}

#[allow(dead_code)]
fn foo<T: Foo>() {}

impl<T> Foo for T where [(); std::mem::size_of::<T>()]:  {}

fn main() {}
Commit	Line	Data
cdc7bbd5 XL	1	// run-pass
	2	#![feature(const_generics)]
	3	#![feature(const_evaluatable_checked)]
	4	#![allow(incomplete_features)]
	5
	6	// This test is a repro for #82279. It checks that we don't error
	7	// when calling is_const_evaluatable on `std::mem::size_of::<T>()`
	8	// when looking for candidates that may prove `T: Foo` in `foo`
	9
	10	trait Foo {}
	11
	12	#[allow(dead_code)]
	13	fn foo<T: Foo>() {}
	14
	15	impl<T> Foo for T where [(); std::mem::size_of::<T>()]: {}
	16
	17	fn main() {}