diff options
Diffstat (limited to 'src/test/ui/coherence/coherence-overlap-downstream.rs')
-rw-r--r-- | src/test/ui/coherence/coherence-overlap-downstream.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/coherence/coherence-overlap-downstream.rs b/src/test/ui/coherence/coherence-overlap-downstream.rs deleted file mode 100644 index 738ec0e3d..000000000 --- a/src/test/ui/coherence/coherence-overlap-downstream.rs +++ /dev/null @@ -1,17 +0,0 @@ -// Tests that we consider `T: Sugar + Fruit` to be ambiguous, even -// though no impls are found. - -pub trait Sugar {} -pub trait Fruit {} -pub trait Sweet {} -impl<T:Sugar> Sweet for T { } -impl<T:Fruit> Sweet for T { } -//~^ ERROR E0119 - -pub trait Foo<X> {} -pub trait Bar<X> {} -impl<X, T> Foo<X> for T where T: Bar<X> {} -impl<X> Foo<X> for i32 {} -//~^ ERROR E0119 - -fn main() { } |