src/test/ui/coherence/coherence-default-trait-impl.rs

   1 #![feature(auto_traits)]
   2 #![feature(negative_impls)]
   3
   4 auto trait MySafeTrait {}
   5
   6 struct Foo;
   7
   8 unsafe impl MySafeTrait for Foo {}
   9 //~^ ERROR E0199
  10
  11 unsafe auto trait MyUnsafeTrait {}
  12
  13 impl MyUnsafeTrait for Foo {}
  14 //~^ ERROR E0200
  15
  16 fn main() {}