src/test/ui/regions/regions-outlives-projection-container.nll.stderr

   1 error: lifetime may not live long enough
   2   --> $DIR/regions-outlives-projection-container.rs:36:13
   3    |
   4 LL | fn with_assoc<'a,'b>() {
   5    |               -- -- lifetime `'b` defined here
   6    |               |
   7    |               lifetime `'a` defined here
   8 ...
   9 LL |     let _x: &'a WithAssoc<TheType<'b>> = loop { };
  10    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  11    |
  12    = help: consider adding the following bound: `'b: 'a`
  13
  14 error: lifetime may not live long enough
  15   --> $DIR/regions-outlives-projection-container.rs:54:13
  16    |
  17 LL | fn without_assoc<'a,'b>() {
  18    |                  -- -- lifetime `'b` defined here
  19    |                  |
  20    |                  lifetime `'a` defined here
  21 ...
  22 LL |     let _x: &'a WithoutAssoc<TheType<'b>> = loop { };
  23    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  24    |
  25    = help: consider adding the following bound: `'b: 'a`
  26
  27 error: lifetime may not live long enough
  28   --> $DIR/regions-outlives-projection-container.rs:63:5
  29    |
  30 LL | fn call_with_assoc<'a,'b>() {
  31    |                    -- -- lifetime `'b` defined here
  32    |                    |
  33    |                    lifetime `'a` defined here
  34 ...
  35 LL |     call::<&'a WithAssoc<TheType<'b>>>();
  36    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'a`
  37    |
  38    = help: consider adding the following bound: `'b: 'a`
  39
  40 error: lifetime may not live long enough
  41   --> $DIR/regions-outlives-projection-container.rs:70:5
  42    |
  43 LL | fn call_without_assoc<'a,'b>() {
  44    |                       -- -- lifetime `'b` defined here
  45    |                       |
  46    |                       lifetime `'a` defined here
  47 ...
  48 LL |     call::<&'a WithoutAssoc<TheType<'b>>>();
  49    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'a`
  50    |
  51    = help: consider adding the following bound: `'b: 'a`
  52
  53 error: aborting due to 4 previous errors
  54