summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-projection-conflict-ty-param.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coherence/coherence-projection-conflict-ty-param.rs')
-rw-r--r--src/test/ui/coherence/coherence-projection-conflict-ty-param.rs13
1 files changed, 0 insertions, 13 deletions
diff --git a/src/test/ui/coherence/coherence-projection-conflict-ty-param.rs b/src/test/ui/coherence/coherence-projection-conflict-ty-param.rs
deleted file mode 100644
index 3e4141fa8..000000000
--- a/src/test/ui/coherence/coherence-projection-conflict-ty-param.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-// Coherence error results because we do not know whether `T: Foo<P>` or not
-// for the second impl.
-
-use std::marker::PhantomData;
-
-pub trait Foo<P> { fn foo() {} }
-
-impl <P, T: Foo<P>> Foo<P> for Option<T> {}
-
-impl<T, U> Foo<T> for Option<U> { }
-//~^ ERROR E0119
-
-fn main() {}