| error[E0283]: type annotations needed |
| --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:21:7 |
| | |
| LL | a.method(); |
| | ^^^^^^ |
| | |
| note: multiple `impl`s satisfying `B: I<_>` found |
| --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:5:1 |
| | |
| LL | impl I<i32> for B {} |
| | ^^^^^^^^^^^^^^^^^ |
| LL | impl I<u32> for B {} |
| | ^^^^^^^^^^^^^^^^^ |
| note: required for `A<B>` to implement `V<_>` |
| --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:12:12 |
| | |
| LL | impl<T, U> V<U> for A<T> |
| | ^^^^ ^^^^ |
| LL | where |
| LL | T: I<U>, |
| | ---- unsatisfied trait bound introduced here |
| help: try using a fully qualified path to specify the expected types |
| | |
| LL | <A<B> as V<U>>::method(a); |
| | +++++++++++++++++++++++ ~ |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0283`. |
