tests/ui/nll/user-annotations/issue-57731-ascibed-coupled-types.stderr

   1 error: lifetime may not live long enough
   2   --> $DIR/issue-57731-ascibed-coupled-types.rs:17:5
   3    |
   4 LL | fn coupled_wilds_rhs<'a>(_x: &'a u32, s: &'static u32) -> &'static u32 {
   5    |                      -- lifetime `'a` defined here
   6 LL |     let ((y, _z),) = type_ascribe!(((s, _x),), (PairCoupledTypes<_>,));
   7 LL |     y
   8    |     ^ returning this value requires that `'a` must outlive `'static`
   9
  10 error: lifetime may not live long enough
  11   --> $DIR/issue-57731-ascibed-coupled-types.rs:22:5
  12    |
  13 LL | fn coupled_regions_rhs<'a>(_x: &'a u32, s: &'static u32) -> &'static u32 {
  14    |                        -- lifetime `'a` defined here
  15 LL |     let ((y, _z),) = type_ascribe!(((s, _x),), (PairCoupledRegions<_>,));
  16 LL |     y
  17    |     ^ returning this value requires that `'a` must outlive `'static`
  18
  19 error: lifetime may not live long enough
  20   --> $DIR/issue-57731-ascibed-coupled-types.rs:32:5
  21    |
  22 LL | fn cast_coupled_wilds_rhs<'a>(_x: &'a u32, s: &'static u32) -> &'static u32 {
  23    |                           -- lifetime `'a` defined here
  24 LL |     let ((y, _z),) = ((s, _x),) as (PairCoupledTypes<_>,);
  25 LL |     y
  26    |     ^ returning this value requires that `'a` must outlive `'static`
  27
  28 error: lifetime may not live long enough
  29   --> $DIR/issue-57731-ascibed-coupled-types.rs:37:5
  30    |
  31 LL | fn cast_coupled_regions_rhs<'a>(_x: &'a u32, s: &'static u32) -> &'static u32 {
  32    |                             -- lifetime `'a` defined here
  33 LL |     let ((y, _z),) = ((s, _x),) as (PairCoupledRegions<_>,);
  34 LL |     y
  35    |     ^ returning this value requires that `'a` must outlive `'static`
  36
  37 error: aborting due to 4 previous errors
  38