diff options
Diffstat (limited to 'tests/ui/coherence/coherence-overlap-upstream-inherent.rs')
-rw-r--r-- | tests/ui/coherence/coherence-overlap-upstream-inherent.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/coherence/coherence-overlap-upstream-inherent.rs b/tests/ui/coherence/coherence-overlap-upstream-inherent.rs new file mode 100644 index 000000000..082d753de --- /dev/null +++ b/tests/ui/coherence/coherence-overlap-upstream-inherent.rs @@ -0,0 +1,16 @@ +// Tests that we consider `i16: Remote` to be ambiguous, even +// though the upstream crate doesn't implement it for now. + +// aux-build:coherence_lib.rs + + +extern crate coherence_lib; + +use coherence_lib::Remote; + +struct A<X>(X); +impl<T> A<T> where T: Remote { fn dummy(&self) { } } +//~^ ERROR E0592 +impl A<i16> { fn dummy(&self) { } } + +fn main() {} |