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