src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.rs

   1 struct A<T>(T);
   2 struct B;
   3
   4 trait I<T> {}
   5 impl I<i32> for B {}
   6 impl I<u32> for B {}
   7
   8 trait V<U> {
   9     fn method(self) -> U;
  10 }
  11
  12 impl<T, U> V<U> for A<T>
  13 where
  14     T: I<U>,
  15 {
  16     fn method(self) -> U { unimplemented!() }
  17 }
  18
  19 fn main() {
  20     let a = A(B);
  21     a.method();
  22     //~^ ERROR type annotations needed
  23     //~| ERROR type annotations needed
  24 }