]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | error[E0277]: the trait bound `MyS2: MyTrait` is not satisfied in `(MyS2, MyS)` |
f2b60f7d | 2 | --> $DIR/typeck-default-trait-impl-constituent-types-2.rs:17:18 |
b7449926 XL |
3 | | |
4 | LL | is_mytrait::<(MyS2, MyS)>(); | |
f2b60f7d | 5 | | ^^^^^^^^^^^ within `(MyS2, MyS)`, the trait `MyTrait` is not implemented for `MyS2` |
b7449926 | 6 | | |
b7449926 | 7 | = note: required because it appears within the type `(MyS2, MyS)` |
94222f64 XL |
8 | note: required by a bound in `is_mytrait` |
9 | --> $DIR/typeck-default-trait-impl-constituent-types-2.rs:12:18 | |
10 | | | |
11 | LL | fn is_mytrait<T: MyTrait>() {} | |
12 | | ^^^^^^^ required by this bound in `is_mytrait` | |
b7449926 XL |
13 | |
14 | error: aborting due to previous error | |
15 | ||
16 | For more information about this error, try `rustc --explain E0277`. |