summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-overlap-downstream.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/coherence-overlap-downstream.rs')
-rw-r--r--src/test/ui/coherence/coherence-overlap-downstream.rs17
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() { }