]>
Commit | Line | Data |
---|---|---|
74b04a01 XL |
1 | // run-rustfix |
2 | trait TraitB { | |
3 | type Item; | |
4 | } | |
5 | ||
6 | trait TraitA<A> { | |
7 | type Type; | |
8 | fn bar<T>(_: T) -> Self; | |
9 | fn baz<T>(_: T) -> Self where T: TraitB, <T as TraitB>::Item: Copy; | |
10 | } | |
11 | ||
12 | struct S; | |
13 | struct Type; | |
14 | ||
15 | impl TraitA<()> for S { //~ ERROR not all trait items implemented | |
1b1a35ee | 16 | fn baz<T>(_: T) -> Self where T: TraitB, <T as TraitB>::Item: Copy { todo!() } |
74b04a01 XL |
17 | fn bar<T>(_: T) -> Self { todo!() } |
18 | type Type = Type; | |
19 | } | |
20 | ||
21 | fn main() {} |