Lifetime inference fails for closures returning references to their parameters

[0xdeafbeef]

I tried this code:

#[derive(Default)]
struct Struct {
    field: String,
}

fn consume_closure<'a, F>(data: &'a Struct, f: F) -> &'a String
where
    F: Fn(&'a Struct) -> &'a String,
{
    f(data)
}

fn main() {
    let s = Struct::default();
    let naive = |f: &Struct| &f.field;
    consume_closure(&s, naive);
}

I expected to see this happen: code compiles

Instead, this happened:

   |
18 |     let naive = |f: &Struct| &f.field;
   |                     -      - ^^^^^^^^ returning this value requires that `'1` must outlive `'2`
   |                     |      |
   |                     |      return type of closure is &'2 String
   |                     let's call the lifetime of this reference `'1`

This workaround involves defining a helper function just to handle the lifetimes explicitly, which complicates the code unnecessarily. It feels like a cumbersome solution to what should be a simpler problem.

fn identity<'a, F, A, R>(f: F) -> F
where
    F: Fn(A) -> R,
    A: 'a,
    R: 'a,
{
    f
}

let f = identity(move |point: &Struct| -> &String { &point.field });
let s = Struct::default();
consume_closure(&s, f);

full example

[0xdeafbeef]

@rustbot label A-closures

[fmease]

Duplicate of #58052. Nightly solution: Feature closure_lifetime_binder.
CC #116869, #111662.