// run-rustfix trait TraitB { type Item; } trait TraitA { type Type; fn bar(_: T) -> Self; fn baz(_: T) -> Self where T: TraitB, ::Item: Copy; } struct S; struct Type; impl TraitA<()> for S { //~ ERROR not all trait items implemented fn baz(_: T) -> Self where T: TraitB, ::Item: Copy { todo!() } fn bar(_: T) -> Self { todo!() } type Type = Type; } fn main() {}