2 #![feature(const_generics, const_evaluatable_checked)]
3 #![allow(incomplete_features)]
7 struct Foo<T, const N: usize>(T);
9 impl<T> Foo<T, { size_of::<T>() }> {
11 let _: [u8; std::mem::size_of::<T>()];
15 trait Bar<const N: usize> {
19 impl<T> Bar<{ size_of::<T>() }> for Foo<T, 3> {
21 let _: [u8; std::mem::size_of::<T>()];