diff options
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.rs | 13 |
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() {} |