]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/coherence/coherence-overlap-super-negative.rs
3 #![feature(negative_impls)]
4 #![feature(rustc_attrs)]
5 #![feature(with_negative_coherence)]
7 trait Trait1
: Trait2 {}
11 impl !Trait2
for MyType {}
13 #[rustc_strict_coherence]
15 impl<T
: Trait1
> Foo
for T {}
16 impl Foo
for MyType {}