tests/ui/coherence/coherence-impl-trait-for-marker-trait-negative.rs

   1 #![feature(auto_traits)]
   2 #![feature(negative_impls)]
   3
   4 // Test for issue #56934 - that it is impossible to redundantly
   5 // implement an auto-trait for a trait object type that contains it.
   6
   7 // Negative impl variant.
   8
   9 auto trait Marker1 {}
  10 auto trait Marker2 {}
  11
  12 trait Object: Marker1 {}
  13
  14 // A supertrait marker is illegal...
  15 impl !Marker1 for dyn Object + Marker2 {} //~ ERROR E0371
  16                                           //~^ ERROR 0321
  17 // ...and also a direct component.
  18 impl !Marker2 for dyn Object + Marker2 {} //~ ERROR E0371
  19                                           //~^ ERROR 0321
  20
  21 // A non-principal trait-object type is orphan even in its crate.
  22 impl !Send for dyn Marker2 {} //~ ERROR E0117
  23
  24 // Implementing a marker for a local trait object is forbidden by a special
  25 // orphan-like rule.
  26 impl !Marker2 for dyn Object {} //~ ERROR E0321
  27 impl !Send for dyn Object {} //~ ERROR E0321
  28 impl !Send for dyn Object + Marker2 {} //~ ERROR E0321
  29
  30 // Blanket impl that applies to dyn Object is equally problematic.
  31 auto trait Marker3 {}
  32 impl<T: ?Sized> !Marker3 for T {} //~ ERROR E0321
  33
  34 auto trait Marker4 {}
  35 impl<T> !Marker4 for T {} // okay
  36
  37 fn main() {}