src/test/ui/impl-trait/nested-rpit-hrtb.stderr

   1 error: higher kinded lifetime bounds on nested opaque types are not supported yet
   2   --> $DIR/nested-rpit-hrtb.rs:25:69
   3    |
   4 LL | fn one_hrtb_outlives() -> impl for<'a> Foo<'a, Assoc = impl Sized + 'a> {}
   5    |                                                                     ^^
   6    |
   7 note: lifetime declared here
   8   --> $DIR/nested-rpit-hrtb.rs:25:36
   9    |
  10 LL | fn one_hrtb_outlives() -> impl for<'a> Foo<'a, Assoc = impl Sized + 'a> {}
  11    |                                    ^^
  12
  13 error: higher kinded lifetime bounds on nested opaque types are not supported yet
  14   --> $DIR/nested-rpit-hrtb.rs:29:68
  15    |
  16 LL | fn one_hrtb_trait_param() -> impl for<'a> Foo<'a, Assoc = impl Qux<'a>> {}
  17    |                                                                    ^^
  18    |
  19 note: lifetime declared here
  20   --> $DIR/nested-rpit-hrtb.rs:29:39
  21    |
  22 LL | fn one_hrtb_trait_param() -> impl for<'a> Foo<'a, Assoc = impl Qux<'a>> {}
  23    |                                       ^^
  24
  25 error: higher kinded lifetime bounds on nested opaque types are not supported yet
  26   --> $DIR/nested-rpit-hrtb.rs:32:74
  27    |
  28 LL | fn one_hrtb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl Sized + 'a> {}
  29    |                                                                          ^^
  30    |
  31 note: lifetime declared here
  32   --> $DIR/nested-rpit-hrtb.rs:32:41
  33    |
  34 LL | fn one_hrtb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl Sized + 'a> {}
  35    |                                         ^^
  36
  37 error: higher kinded lifetime bounds on nested opaque types are not supported yet
  38   --> $DIR/nested-rpit-hrtb.rs:35:73
  39    |
  40 LL | fn one_hrtb_trait_param_uses() -> impl for<'a> Bar<'a, Assoc = impl Qux<'a>> {}
  41    |                                                                         ^^
  42    |
  43 note: lifetime declared here
  44   --> $DIR/nested-rpit-hrtb.rs:35:44
  45    |
  46 LL | fn one_hrtb_trait_param_uses() -> impl for<'a> Bar<'a, Assoc = impl Qux<'a>> {}
  47    |                                            ^^
  48
  49 error[E0261]: use of undeclared lifetime name `'b`
  50   --> $DIR/nested-rpit-hrtb.rs:54:77
  51    |
  52 LL | fn two_htrb_outlives() -> impl for<'a> Foo<'a, Assoc = impl for<'b> Sized + 'b> {}
  53    |                     - help: consider introducing lifetime `'b` here: `<'b>` ^^ undeclared lifetime
  54
  55 error[E0496]: lifetime name `'b` shadows a lifetime name that is already in scope
  56   --> $DIR/nested-rpit-hrtb.rs:54:65
  57    |
  58 LL | fn two_htrb_outlives() -> impl for<'a> Foo<'a, Assoc = impl for<'b> Sized + 'b> {}
  59    |                                                                 ^^          -- first declared here
  60    |                                                                 |
  61    |                                                                 lifetime `'b` already in scope
  62
  63 error[E0261]: use of undeclared lifetime name `'b`
  64   --> $DIR/nested-rpit-hrtb.rs:62:82
  65    |
  66 LL | fn two_htrb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl for<'b> Sized + 'b> {}
  67    |                          - help: consider introducing lifetime `'b` here: `<'b>` ^^ undeclared lifetime
  68
  69 error[E0496]: lifetime name `'b` shadows a lifetime name that is already in scope
  70   --> $DIR/nested-rpit-hrtb.rs:62:70
  71    |
  72 LL | fn two_htrb_outlives_uses() -> impl for<'a> Bar<'a, Assoc = impl for<'b> Sized + 'b> {}
  73    |                                                                      ^^          -- first declared here
  74    |                                                                      |
  75    |                                                                      lifetime `'b` already in scope
  76
  77 error: aborting due to 8 previous errors
  78
  79 Some errors have detailed explanations: E0261, E0496.
  80 For more information about an error, try `rustc --explain E0261`.