#![feature(generic_associated_types)]

trait X {
    type Y<'a>;
}

fn f(x: Box<dyn X<Y<'a>=&'a ()>>) {}
  //~^ ERROR: use of undeclared lifetime name `'a`
  //~| ERROR: use of undeclared lifetime name `'a`


fn main() {}