1 trait Trait {} 2 3 struct Foo<T:Trait> { 4 x: T, 5 } 6 7 enum Bar<T:Trait> { 8 ABar(isize), 9 BBar(T), 10 CBar(usize), 11 } 12 13 trait PolyTrait<T> 14 { whatever(&self, t: T)15 fn whatever(&self, t: T) {} 16 } 17 18 struct Struct; 19 20 impl PolyTrait<Foo<u16>> for Struct { 21 //~^ ERROR E0277 22 } 23 main()24fn main() { 25 } 26