[rustc.git] / src / test / ui / wf / issue-96810.rs

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() {}
Commit	Line	Data
064997fb FG	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() {}