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