src/test/ui/wf/wf-static-method.nll.stderr

   1 error: unsatisfied lifetime constraints
   2   --> $DIR/wf-static-method.rs:27:9
   3    |
   4 LL | impl<'a, 'b> Foo<'a, 'b, Evil<'a, 'b>> for () {
   5    |      --  -- lifetime `'b` defined here
   6    |      |
   7    |      lifetime `'a` defined here
   8 ...
   9 LL |         u //~ ERROR E0312
  10    |         ^ returning this value requires that `'b` must outlive `'a`
  11
  12 error: unsatisfied lifetime constraints
  13   --> $DIR/wf-static-method.rs:36:18
  14    |
  15 LL | impl<'a, 'b> Foo<'a, 'b, ()> for IndirectEvil<'a, 'b> {
  16    |      --  -- lifetime `'b` defined here
  17    |      |
  18    |      lifetime `'a` defined here
  19 ...
  20 LL |         let me = Self::make_me(); //~ ERROR lifetime bound not satisfied
  21    |                  ^^^^^^^^^^^^^^^ requires that `'b` must outlive `'a`
  22
  23 error: unsatisfied lifetime constraints
  24   --> $DIR/wf-static-method.rs:43:9
  25    |
  26 LL | impl<'a, 'b> Evil<'a, 'b> {
  27    |      --  -- lifetime `'b` defined here
  28    |      |
  29    |      lifetime `'a` defined here
  30 LL |     fn inherent_evil(u: &'b u32) -> &'a u32 {
  31 LL |         u //~ ERROR E0312
  32    |         ^ returning this value requires that `'b` must outlive `'a`
  33
  34 error: unsatisfied lifetime constraints
  35   --> $DIR/wf-static-method.rs:51:5
  36    |
  37 LL | fn evil<'a, 'b>(b: &'b u32) -> &'a u32 {
  38    |         --  -- lifetime `'b` defined here
  39    |         |
  40    |         lifetime `'a` defined here
  41 LL |     <()>::static_evil(b) //~ ERROR cannot infer an appropriate lifetime
  42    |     ^^^^^^^^^^^^^^^^^^^^ returning this value requires that `'b` must outlive `'a`
  43
  44 error: unsatisfied lifetime constraints
  45   --> $DIR/wf-static-method.rs:55:5
  46    |
  47 LL | fn indirect_evil<'a, 'b>(b: &'b u32) -> &'a u32 {
  48    |                  --  -- lifetime `'b` defined here
  49    |                  |
  50    |                  lifetime `'a` defined here
  51 LL |     <IndirectEvil>::static_evil(b)
  52    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ returning this value requires that `'b` must outlive `'a`
  53
  54 error: aborting due to 5 previous errors
  55