]>
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 | |
16 | } | |
17 | ||
18 | fn main() {} |