error: inherent impls cannot be negative --> $DIR/syntax-trait-polarity.rs:7:7 | LL | impl !TestType {} | -^^^^^^^^ inherent impl for this type | | | negative because of this error[E0198]: negative impls cannot be unsafe --> $DIR/syntax-trait-polarity.rs:12:13 | LL | unsafe impl !Send for TestType {} | ------ -^^^^ | | | | | negative because of this | unsafe because of this error: inherent impls cannot be negative --> $DIR/syntax-trait-polarity.rs:19:10 | LL | impl !TestType2 {} | -^^^^^^^^^^^^ inherent impl for this type | | | negative because of this error[E0198]: negative impls cannot be unsafe --> $DIR/syntax-trait-polarity.rs:22:16 | LL | unsafe impl !Send for TestType2 {} | ------ -^^^^ | | | | | negative because of this | unsafe because of this error[E0192]: invalid negative impl --> $DIR/syntax-trait-polarity.rs:14:6 | LL | impl !TestTrait for TestType {} | ^^^^^^^^^^ | = note: negative impls are only allowed for auto traits, like `Send` and `Sync` error[E0192]: invalid negative impl --> $DIR/syntax-trait-polarity.rs:24:9 | LL | impl !TestTrait for TestType2 {} | ^^^^^^^^^^ | = note: negative impls are only allowed for auto traits, like `Send` and `Sync` error: aborting due to 6 previous errors Some errors have detailed explanations: E0192, E0198. For more information about an error, try `rustc --explain E0192`.