1 error[E0282]: type annotations needed
2 --> $DIR/unbounded-associated-type.rs:15:5
5 | ------- `<Self as T>::A` defined here
7 LL | S(std::marker::PhantomData).foo();
8 | ^--------------------------------
10 | this method call resolves to `<Self as T>::A`
11 | cannot infer type for type parameter `X`
13 error: aborting due to previous error
15 For more information about this error, try `rustc --explain E0282`.