src/test/ui/specialization/defaultimpl/validation.stderr

   1 error: inherent impls cannot be `default`
   2   --> $DIR/validation.rs:7:14
   3    |
   4 LL | default impl S {}
   5    | -------      ^ inherent impl for this type
   6    | |
   7    | `default` because of this
   8    |
   9    = note: only trait implementations may be annotated with `default`
  10
  11 error: impls of auto traits cannot be default
  12   --> $DIR/validation.rs:9:1
  13    |
  14 LL | default unsafe impl Send for S {}
  15    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  16
  17 error: impls of auto traits cannot be default
  18   --> $DIR/validation.rs:10:1
  19    |
  20 LL | default impl !Send for Z {}
  21    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  22
  23 error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`)
  24   --> $DIR/validation.rs:13:1
  25    |
  26 LL | default impl !Tr for S {}
  27    | ^^^^^^^^^^^^^^^^^^^^^^^^^
  28
  29 error: aborting due to 4 previous errors
  30
  31 For more information about this error, try `rustc --explain E0192`.