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