3 #![cfg_attr(full, allow(incomplete_features))]
4 #![cfg_attr(full, feature(const_generics))]
6 trait Bar<const N: usize> {}
8 trait Foo<const N: usize> {
12 impl<const N: usize> Bar<N> for u8 {}
13 impl Bar<3> for u16 {}
15 impl<const N: usize> Foo<N> for i8 {