src/test/ui/regions/regions-free-region-ordering-caller.nll.stderr

   1 error: unsatisfied lifetime constraints
   2   --> $DIR/regions-free-region-ordering-caller.rs:18:12
   3    |
   4 LL | fn call2<'a, 'b>(a: &'a usize, b: &'b usize) {
   5    |          --  -- lifetime `'b` defined here
   6    |          |
   7    |          lifetime `'a` defined here
   8 LL |     let z: Option<&'b &'a usize> = None;//~ ERROR E0623
   9    |            ^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'b`
  10
  11 error: unsatisfied lifetime constraints
  12   --> $DIR/regions-free-region-ordering-caller.rs:23:12
  13    |
  14 LL | fn call3<'a, 'b>(a: &'a usize, b: &'b usize) {
  15    |          --  -- lifetime `'b` defined here
  16    |          |
  17    |          lifetime `'a` defined here
  18 LL |     let y: Paramd<'a> = Paramd { x: a };
  19 LL |     let z: Option<&'b Paramd<'a>> = None;//~ ERROR E0623
  20    |            ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'b`
  21
  22 error: unsatisfied lifetime constraints
  23   --> $DIR/regions-free-region-ordering-caller.rs:27:12
  24    |
  25 LL | fn call4<'a, 'b>(a: &'a usize, b: &'b usize) {
  26    |          --  -- lifetime `'b` defined here
  27    |          |
  28    |          lifetime `'a` defined here
  29 LL |     let z: Option<&'a &'b usize> = None;//~ ERROR E0623
  30    |            ^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  31
  32 error: aborting due to 3 previous errors
  33