src/test/ui/coherence/coherence-overlap-upstream.rs

   1 // Tests that we consider `i16: Remote` to be ambiguous, even
   2 // though the upstream crate doesn't implement it for now.
   3
   4 // aux-build:coherence_lib.rs
   5
   6
   7 extern crate coherence_lib;
   8
   9 use coherence_lib::Remote;
  10
  11 trait Foo {}
  12 impl<T> Foo for T where T: Remote {}
  13 impl Foo for i16 {}
  14 //~^ ERROR E0119
  15
  16 fn main() {}