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

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