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:21
  13    |
  14 LL | default unsafe impl Send for S {}
  15    | -------             ^^^^ auto trait
  16    | |
  17    | default because of this
  18
  19 error: impls of auto traits cannot be default
  20   --> $DIR/validation.rs:10:15
  21    |
  22 LL | default impl !Send for Z {}
  23    | -------       ^^^^ auto trait
  24    | |
  25    | default because of this
  26
  27 error[E0750]: negative impls cannot be default impls
  28   --> $DIR/validation.rs:10:14
  29    |
  30 LL | default impl !Send for Z {}
  31    | ^^^^^^^      ^
  32
  33 error[E0750]: negative impls cannot be default impls
  34   --> $DIR/validation.rs:14:14
  35    |
  36 LL | default impl !Tr for S {}
  37    | ^^^^^^^      ^
  38
  39 error: aborting due to 5 previous errors
  40
  41 For more information about this error, try `rustc --explain E0750`.