summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/coherence-overlap-upstream.rs
blob: 8f1e6558b15ebb1e9da230d8a2de6f65d98a6fde (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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;

trait Foo {}
impl<T> Foo for T where T: Remote {}
impl Foo for i16 {}
//~^ ERROR E0119

fn main() {}