3 trait Trait { type Assoc; }
4 impl<'a> Trait for &'a () { type Assoc = &'a (); }
7 impl MyTuple<<&'static () as Trait>::Assoc> {
8 fn test(x: &(), y: &()) {
11 let _: Self = MyTuple(y);
16 struct MyStruct<T> { val: T, }
17 impl MyStruct<<&'static () as Trait>::Assoc> {
18 fn test(x: &(), y: &()) {
21 let _: Self = MyStruct { val: y };