]>
Commit | Line | Data |
---|---|---|
532ac7d7 | 1 | trait Bar {} |
04454e1e FG |
2 | |
3 | impl Bar for i32 {} | |
4 | ||
5 | struct Qux; | |
6 | ||
7 | impl Bar for Qux {} | |
8 | ||
532ac7d7 | 9 | fn foo() -> impl Bar { |
04454e1e FG |
10 | //~^ ERROR the trait bound `(): Bar` is not satisfied |
11 | 5; | |
12 | //~^ HELP remove this semicolon | |
13 | } | |
14 | ||
15 | fn bar() -> impl Bar { | |
16 | //~^ ERROR the trait bound `(): Bar` is not satisfied | |
17 | //~| HELP the following other types implement trait `Bar`: | |
18 | ""; | |
532ac7d7 XL |
19 | } |
20 | ||
21 | fn main() {} |