src/test/ui/impl-trait/issues/issue-88236-2.stderr

   1 error: higher kinded lifetime bounds on nested opaque types are not supported yet
   2   --> $DIR/issue-88236-2.rs:15:61
   3    |
   4 LL | fn make_impl() -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {}
   5    |                                                             ^^
   6    |
   7 note: lifetime declared here
   8   --> $DIR/issue-88236-2.rs:15:28
   9    |
  10 LL | fn make_impl() -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {}
  11    |                            ^^
  12
  13 error: higher kinded lifetime bounds on nested opaque types are not supported yet
  14   --> $DIR/issue-88236-2.rs:18:80
  15    |
  16 LL | fn make_weird_impl<'b>(x: &'b ()) -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {
  17    |                                                                                ^^
  18    |
  19 note: lifetime declared here
  20   --> $DIR/issue-88236-2.rs:18:47
  21    |
  22 LL | fn make_weird_impl<'b>(x: &'b ()) -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {
  23    |                                               ^^
  24
  25 error: higher kinded lifetime bounds on nested opaque types are not supported yet
  26   --> $DIR/issue-88236-2.rs:23:78
  27    |
  28 LL | fn make_bad_impl<'b>(x: &'b ()) -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {
  29    |                                                                              ^^
  30    |
  31 note: lifetime declared here
  32   --> $DIR/issue-88236-2.rs:23:45
  33    |
  34 LL | fn make_bad_impl<'b>(x: &'b ()) -> impl for<'a> Hrtb<'a, Assoc = impl Send + 'a> {
  35    |                                             ^^
  36
  37 error: aborting due to 3 previous errors
  38