src/test/ui/coherence/coherence-overlap-with-regions.rs

   1 // check-pass
   2
   3 #![feature(negative_impls)]
   4 #![feature(rustc_attrs)]
   5 #![feature(with_negative_coherence)]
   6
   7 #[rustc_strict_coherence]
   8 trait Foo {}
   9 impl<T> !Foo for &T where T: 'static {}
  10
  11 #[rustc_strict_coherence]
  12 trait Bar {}
  13 impl<T: Foo> Bar for T {}
  14 impl<T> Bar for &T where T: 'static {}
  15
  16 fn main() {}