src/test/ui/coherence/coherence-overlap-upstream-inherent.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 struct A<X>(X);
  12 impl<T> A<T> where T: Remote { fn dummy(&self) { } }
  13 //~^ ERROR E0592
  14 impl A<i16> { fn dummy(&self) { } }
  15
  16 fn main() {}