tests/ui/wf/issue-96810.rs


1
2
3
4
5
6
7
8
9
10
11
12

struct S<T: Tr>(T::Assoc);

trait Tr {
    type Assoc;
}

struct Hoge<K> {
    s: S<K>, //~ ERROR the trait bound `K: Tr` is not satisfied
    a: u32,
}

fn main() {}