1 #![feature(generic_associated_types)] 2 3 trait X { 4 type Y<'a>; 5 } 6 f(x: Box<dyn X<Y<'a>=&'a ()>>)7 fn f(x: Box<dyn X<Y<'a>=&'a ()>>) {} 8 //~^ ERROR: use of undeclared lifetime name `'a` 9 //~| ERROR: use of undeclared lifetime name `'a` 10 11 main()12 fn main() {} 13