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()24 fn main() {
25 }
26