1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// run-rustfix trait TraitB { type Item; } trait TraitA<A> { type Type; fn bar<T>(_: T) -> Self; fn baz<T>(_: T) -> Self where T: TraitB, <T as TraitB>::Item: Copy; } struct S; struct Type; impl TraitA<()> for S { //~ ERROR not all trait items implemented } fn main() {}