src/test/ui/hrtb/hrtb-perfect-forwarding.nll.stderr

   1 warning: function cannot return without recursing
   2   --> $DIR/hrtb-perfect-forwarding.rs:22:1
   3    |
   4 LL | / fn no_hrtb<'b,T>(mut t: T)
   5 LL | |     where T : Bar<&'b isize>
   6 LL | | {
   7 LL | |     // OK -- `T : Bar<&'b isize>`, and thus the impl above ensures that
   8 LL | |     // `&mut T : Bar<&'b isize>`.
   9 LL | |     no_hrtb(&mut t);
  10    | |     --------------- recursive call site
  11 LL | | }
  12    | |_^ cannot return without recursing
  13    |
  14    = note: `#[warn(unconditional_recursion)]` on by default
  15    = help: a `loop` may express intention better if this is on purpose
  16
  17 warning: function cannot return without recursing
  18   --> $DIR/hrtb-perfect-forwarding.rs:30:1
  19    |
  20 LL | / fn bar_hrtb<T>(mut t: T)
  21 LL | |     where T : for<'b> Bar<&'b isize>
  22 LL | | {
  23 LL | |     // OK -- `T : for<'b> Bar<&'b isize>`, and thus the impl above
  24 ...  |
  25 LL | |     bar_hrtb(&mut t);
  26    | |     ---------------- recursive call site
  27 LL | | }
  28    | |_^ cannot return without recursing
  29    |
  30    = help: a `loop` may express intention better if this is on purpose
  31
  32 warning: function cannot return without recursing
  33   --> $DIR/hrtb-perfect-forwarding.rs:39:1
  34    |
  35 LL | / fn foo_hrtb_bar_not<'b,T>(mut t: T)
  36 LL | |     where T : for<'a> Foo<&'a isize> + Bar<&'b isize>
  37 LL | | {
  38 LL | |     // Not OK -- The forwarding impl for `Foo` requires that `Bar` also
  39 ...  |
  40 LL | |     foo_hrtb_bar_not(&mut t);
  41    | |     ------------------------ recursive call site
  42 LL | |
  43 LL | | }
  44    | |_^ cannot return without recursing
  45    |
  46    = help: a `loop` may express intention better if this is on purpose
  47
  48 error: lifetime may not live long enough
  49   --> $DIR/hrtb-perfect-forwarding.rs:46:5
  50    |
  51 LL | fn foo_hrtb_bar_not<'b,T>(mut t: T)
  52    |                     -- lifetime `'b` defined here
  53 ...
  54 LL |     foo_hrtb_bar_not(&mut t);
  55    |     ^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
  56    |
  57    = help: consider replacing `'b` with `'static`
  58
  59 error: higher-ranked subtype error
  60   --> $DIR/hrtb-perfect-forwarding.rs:46:5
  61    |
  62 LL |     foo_hrtb_bar_not(&mut t);
  63    |     ^^^^^^^^^^^^^^^^^^^^^^^^
  64
  65 warning: function cannot return without recursing
  66   --> $DIR/hrtb-perfect-forwarding.rs:50:1
  67    |
  68 LL | / fn foo_hrtb_bar_hrtb<T>(mut t: T)
  69 LL | |     where T : for<'a> Foo<&'a isize> + for<'b> Bar<&'b isize>
  70 LL | | {
  71 LL | |     // OK -- now we have `T : for<'b> Bar&'b isize>`.
  72 LL | |     foo_hrtb_bar_hrtb(&mut t);
  73    | |     ------------------------- recursive call site
  74 LL | | }
  75    | |_^ cannot return without recursing
  76    |
  77    = help: a `loop` may express intention better if this is on purpose
  78
  79 error: aborting due to 2 previous errors
  80