src/test/ui/traits/reservation-impls/reservation-impl-coherence-conflict.rs

   1 // compile-fail
   2
   3 // check that reservation impls are accounted for in negative reasoning.
   4
   5 #![feature(rustc_attrs)]
   6
   7 trait MyTrait {}
   8 #[rustc_reservation_impl]
   9 impl MyTrait for () {}
  10
  11 trait OtherTrait {}
  12 impl OtherTrait for () {}
  13 impl<T: MyTrait> OtherTrait for T {}
  14 //~^ ERROR conflicting implementations
  15
  16 fn main() {}