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

   1 #![feature(negative_impls)]
   2 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   3
   4 struct S;
   5 struct Z;
   6
   7 default impl S {} //~ ERROR inherent impls cannot be `default`
   8
   9 default unsafe impl Send for S {} //~ ERROR impls of auto traits cannot be default
  10 default impl !Send for Z {} //~ ERROR impls of auto traits cannot be default
  11                             //~^ ERROR negative impls cannot be default impls
  12
  13 trait Tr {}
  14 default impl !Tr for S {} //~ ERROR negative impls cannot be default impls
  15
  16 fn main() {}