tests/ui/wf/issue-96810.rs

   1 struct S<T: Tr>(T::Assoc);
   2
   3 trait Tr {
   4     type Assoc;
   5 }
   6
   7 struct Hoge<K> {
   8     s: S<K>, //~ ERROR the trait bound `K: Tr` is not satisfied
   9     a: u32,
  10 }
  11
  12 fn main() {}