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