2 trait Trait2<'a, 'b> {}
5 for<'a> dyn Trait1<'a>: Trait1<'a>, // OK
6 (dyn for<'a> Trait1<'a>): Trait1<'a>,
7 //~^ ERROR use of undeclared lifetime name `'a`
8 for<'a> dyn for<'b> Trait2<'a, 'b>: Trait2<'a, 'b>,
9 //~^ ERROR use of undeclared lifetime name `'b`