]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | error[E0277]: the trait bound `T: Bar` is not satisfied |
2b03887a | 2 | --> $DIR/trait-where-clause.rs:14:5 |
94222f64 XL |
3 | | |
4 | LL | T::b(); | |
5 | | ^^^^ the trait `Bar` is not implemented for `T` | |
6 | | | |
3c0e092e | 7 | note: required by a bound in `Foo::b` |
2b03887a | 8 | --> $DIR/trait-where-clause.rs:8:24 |
94222f64 XL |
9 | | |
10 | LL | fn b() where Self: ~const Bar; | |
3c0e092e | 11 | | ^^^^^^^^^^ required by this bound in `Foo::b` |
94222f64 XL |
12 | help: consider further restricting this bound |
13 | | | |
2b03887a | 14 | LL | fn test1<T: Foo + Bar>() { |
94222f64 XL |
15 | | +++++ |
16 | ||
17 | error[E0277]: the trait bound `T: Bar` is not satisfied | |
2b03887a | 18 | --> $DIR/trait-where-clause.rs:16:12 |
94222f64 XL |
19 | | |
20 | LL | T::c::<T>(); | |
f2b60f7d | 21 | | ^ the trait `Bar` is not implemented for `T` |
94222f64 | 22 | | |
3c0e092e | 23 | note: required by a bound in `Foo::c` |
2b03887a | 24 | --> $DIR/trait-where-clause.rs:9:13 |
94222f64 XL |
25 | | |
26 | LL | fn c<T: ~const Bar>(); | |
3c0e092e | 27 | | ^^^^^^^^^^ required by this bound in `Foo::c` |
94222f64 XL |
28 | help: consider further restricting this bound |
29 | | | |
2b03887a | 30 | LL | fn test1<T: Foo + Bar>() { |
94222f64 XL |
31 | | +++++ |
32 | ||
2b03887a | 33 | error: aborting due to 2 previous errors |
94222f64 XL |
34 | |
35 | For more information about this error, try `rustc --explain E0277`. |