src/test/ui/inference/need_type_info/concrete-impl.rs

   1 trait Ambiguous<A> {
   2     fn method() {}
   3 }
   4
   5 struct One;
   6 struct Two;
   7 struct Struct;
   8
   9 impl Ambiguous<One> for Struct {}
  10 impl Ambiguous<Two> for Struct {}
  11
  12 fn main() {
  13     <Struct as Ambiguous<_>>::method();
  14     //~^ ERROR type annotations needed
  15     //~| ERROR type annotations needed
  16 }