1 error[E0277]: the trait bound `ThisImplsUnsafeTrait: MyTrait` is not satisfied
2 --> $DIR/typeck-default-trait-impl-negation.rs:31:5
4 LL | is_my_trait::<ThisImplsUnsafeTrait>();
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `MyTrait` is not implemented for `ThisImplsUnsafeTrait`
7 = help: the following implementations were found:
8 <ThisImplsUnsafeTrait as MyTrait>
9 note: required by `is_my_trait`
10 --> $DIR/typeck-default-trait-impl-negation.rs:26:1
12 LL | fn is_my_trait<T: MyTrait>() {}
13 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
15 error[E0277]: the trait bound `ThisImplsTrait: MyUnsafeTrait` is not satisfied
16 --> $DIR/typeck-default-trait-impl-negation.rs:34:5
18 LL | is_my_unsafe_trait::<ThisImplsTrait>();
19 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `MyUnsafeTrait` is not implemented for `ThisImplsTrait`
21 = help: the following implementations were found:
22 <ThisImplsTrait as MyUnsafeTrait>
23 note: required by `is_my_unsafe_trait`
24 --> $DIR/typeck-default-trait-impl-negation.rs:27:1
26 LL | fn is_my_unsafe_trait<T: MyUnsafeTrait>() {}
27 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
29 error: aborting due to 2 previous errors
31 For more information about this error, try `rustc --explain E0277`.