src/test/ui/typeck/typeck-default-trait-impl-negation.stderr

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