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

   1 error: unsatisfied lifetime constraints
   2   --> $DIR/regions-outlives-projection-container.rs:50: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 error: unsatisfied lifetime constraints
  13   --> $DIR/regions-outlives-projection-container.rs:68:13
  14    |
  15 LL | fn without_assoc<'a,'b>() {
  16    |                  -- -- lifetime `'b` defined here
  17    |                  |
  18    |                  lifetime `'a` defined here
  19 ...
  20 LL |     let _x: &'a WithoutAssoc<TheType<'b>> = loop { };
  21    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  22
  23 error: unsatisfied lifetime constraints
  24   --> $DIR/regions-outlives-projection-container.rs:77:5
  25    |
  26 LL | fn call_with_assoc<'a,'b>() {
  27    |                    -- -- lifetime `'b` defined here
  28    |                    |
  29    |                    lifetime `'a` defined here
  30 ...
  31 LL |     call::<&'a WithAssoc<TheType<'b>>>();
  32    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'a`
  33
  34 error: unsatisfied lifetime constraints
  35   --> $DIR/regions-outlives-projection-container.rs:84:5
  36    |
  37 LL | fn call_without_assoc<'a,'b>() {
  38    |                       -- -- lifetime `'b` defined here
  39    |                       |
  40    |                       lifetime `'a` defined here
  41 ...
  42 LL |     call::<&'a WithoutAssoc<TheType<'b>>>(); //~ ERROR reference has a longer lifetime
  43    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'a`
  44
  45 error: aborting due to 4 previous errors
  46