1 error[E0277]: the trait bound `K: Tr` is not satisfied
2 --> $DIR/issue-96810.rs:8:8
5 | ^^^^ the trait `Tr` is not implemented for `K`
7 note: required by a bound in `S`
8 --> $DIR/issue-96810.rs:1:13
10 LL | struct S<T: Tr>(T::Assoc);
11 | ^^ required by this bound in `S`
12 help: consider restricting type parameter `K`
14 LL | struct Hoge<K: Tr> {
17 error: aborting due to previous error
19 For more information about this error, try `rustc --explain E0277`.