src/test/ui/syntax-trait-polarity.stderr

   1 error: inherent impls cannot be negative
   2   --> $DIR/syntax-trait-polarity.rs:7:7
   3    |
   4 LL | impl !TestType {}
   5    |      -^^^^^^^^ inherent impl for this type
   6    |      |
   7    |      negative because of this
   8
   9 error[E0198]: negative impls cannot be unsafe
  10   --> $DIR/syntax-trait-polarity.rs:12:13
  11    |
  12 LL | unsafe impl !Send for TestType {}
  13    | ------      -^^^^
  14    | |           |
  15    | |           negative because of this
  16    | unsafe because of this
  17
  18 error: inherent impls cannot be negative
  19   --> $DIR/syntax-trait-polarity.rs:19:10
  20    |
  21 LL | impl<T> !TestType2<T> {}
  22    |         -^^^^^^^^^^^^ inherent impl for this type
  23    |         |
  24    |         negative because of this
  25
  26 error[E0198]: negative impls cannot be unsafe
  27   --> $DIR/syntax-trait-polarity.rs:22:16
  28    |
  29 LL | unsafe impl<T> !Send for TestType2<T> {}
  30    | ------         -^^^^
  31    | |              |
  32    | |              negative because of this
  33    | unsafe because of this
  34
  35 error[E0192]: invalid negative impl
  36   --> $DIR/syntax-trait-polarity.rs:14:6
  37    |
  38 LL | impl !TestTrait for TestType {}
  39    |      ^^^^^^^^^^
  40    |
  41    = note: negative impls are only allowed for auto traits, like `Send` and `Sync`
  42
  43 error[E0192]: invalid negative impl
  44   --> $DIR/syntax-trait-polarity.rs:24:9
  45    |
  46 LL | impl<T> !TestTrait for TestType2<T> {}
  47    |         ^^^^^^^^^^
  48    |
  49    = note: negative impls are only allowed for auto traits, like `Send` and `Sync`
  50
  51 error: aborting due to 6 previous errors
  52
  53 Some errors have detailed explanations: E0192, E0198.
  54 For more information about an error, try `rustc --explain E0192`.