3 #![feature(negative_impls)]
4 #![feature(rustc_attrs)]
5 #![feature(with_negative_coherence)]
7 #[rustc_strict_coherence]
9 impl<T> !Foo for &T where T: 'static {}
11 #[rustc_strict_coherence]
13 impl<T: Foo> Bar for T {}
14 impl<T> Bar for &T where T: 'static {}