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

   1 error[E0261]: use of undeclared lifetime name `'x`
   2   --> $DIR/gat-in-trait-path-undeclared-lifetime.rs:6:35
   3    |
   4 LL |   fn _f(arg : Box<dyn for<'a> X<Y<'x> = &'a [u32]>>) {}
   5    |                                   ^^ undeclared lifetime
   6    |
   7    = note: for more information on higher-ranked polymorphism, visit https://doc.rust-lang.org/nomicon/hrtb.html
   8 help: consider making the bound lifetime-generic with a new `'x` lifetime
   9    |
  10 LL |   fn _f(arg : Box<dyn for<'x, 'a> X<Y<'x> = &'a [u32]>>) {}
  11    |                           +++
  12 help: consider introducing lifetime `'x` here
  13    |
  14 LL |   fn _f<'x>(arg : Box<dyn for<'a> X<Y<'x> = &'a [u32]>>) {}
  15    |        ++++
  16
  17 error[E0582]: binding for associated type `Y` references lifetime `'a`, which does not appear in the trait input types
  18   --> $DIR/gat-in-trait-path-undeclared-lifetime.rs:6:33
  19    |
  20 LL |   fn _f(arg : Box<dyn for<'a> X<Y<'x> = &'a [u32]>>) {}
  21    |                                 ^^^^^^^^^^^^^^^^^
  22
  23 error: aborting due to 2 previous errors
  24
  25 Some errors have detailed explanations: E0261, E0582.
  26 For more information about an error, try `rustc --explain E0261`.