1 error[E0277]: the trait bound `MyS2: MyTrait` is not satisfied
2 --> $DIR/typeck-default-trait-impl-constituent-types.rs:30:5
4 LL | is_mytrait::<MyS2>();
5 | ^^^^^^^^^^^^^^^^^^ the trait `MyTrait` is not implemented for `MyS2`
7 = help: the following implementations were found:
9 note: required by `is_mytrait`
10 --> $DIR/typeck-default-trait-impl-constituent-types.rs:25:1
12 LL | fn is_mytrait<T: MyTrait>() {}
13 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
15 error: aborting due to previous error
17 For more information about this error, try `rustc --explain E0277`.