2 #![cfg_attr(full, allow(incomplete_features))]
3 #![cfg_attr(full, feature(const_generics))]
4 #![cfg_attr(min, feature(min_const_generics))]
6 trait Bar<const N: usize> {}
8 trait Foo<const N: usize> {
12 impl Bar<3> for u16 {}
13 impl<const N: usize> Foo<N> for i16 {
14 type Assoc = u16; //~ ERROR the trait bound `u16: Bar<N>`