error[E0576]: cannot find associated type `X` in trait `A` --> $DIR/issue-22037.rs:3:33 | LL | type Output; | ------------ associated type `Output` defined here LL | fn a(&self) -> ::X; | ^ | | | not found in `A` | help: maybe you meant this associated type: `Output` error: aborting due to previous error For more information about this error, try `rustc --explain E0576`.