2 #![feature(generic_const_exprs)]
3 #![allow(incomplete_features)]
5 // This test is a repro for #82279. It checks that we don't error
6 // when calling is_const_evaluatable on `std::mem::size_of::<T>()`
7 // when looking for candidates that may prove `T: Foo` in `foo`
14 impl<T> Foo for T where [(); std::mem::size_of::<T>()]: {}