error[E0576]: cannot find associated type `Output` in trait `Trait` --> $DIR/issue-87638.rs:17:26 | LL | type Target; | ------------ associated type `Target` defined here ... LL | let _: ::Output; | ^^^^^^ | | | not found in `Trait` | help: maybe you meant this associated type: `Target` error[E0576]: cannot find method or associated constant `BAR` in trait `Trait` --> $DIR/issue-87638.rs:20:27 | LL | const FOO: usize; | ----------------- associated constant `FOO` defined here ... LL | let _ = ::BAR; | ^^^ | | | not found in `Trait` | help: maybe you meant this associated constant: `FOO` error: aborting due to 2 previous errors For more information about this error, try `rustc --explain E0576`.