src/test/ui/generic-associated-types/gat-in-trait-path-undeclared-lifetime.rs

   1 trait X {
   2   type Y<'x>;
   3 }
   4
   5 fn main() {
   6   fn _f(arg : Box<dyn for<'a> X<Y<'x> = &'a [u32]>>) {}
   7     //~^ ERROR: use of undeclared lifetime name `'x`
   8     //~| ERROR: binding for associated type `Y` references lifetime
   9 }