1 error: lifetime may not live long enough
2 --> $DIR/issue-57731-ascibed-coupled-types.rs:17:5
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<_>,));
8 | ^ returning this value requires that `'a` must outlive `'static`
10 error: lifetime may not live long enough
11 --> $DIR/issue-57731-ascibed-coupled-types.rs:22:5
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<_>,));
17 | ^ returning this value requires that `'a` must outlive `'static`
19 error: lifetime may not live long enough
20 --> $DIR/issue-57731-ascibed-coupled-types.rs:32:5
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<_>,);
26 | ^ returning this value requires that `'a` must outlive `'static`
28 error: lifetime may not live long enough
29 --> $DIR/issue-57731-ascibed-coupled-types.rs:37:5
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<_>,);
35 | ^ returning this value requires that `'a` must outlive `'static`
37 error: aborting due to 4 previous errors