A out-of-air lifetime that that may not live long vs. the implementation is not general enough

Code

fn test<F>(f:F)
where F: for<'b> FnOnce(&'b i32){}


fn main(){
    test(|s:&'static i32|{});
}

Current output

  --> src/main.rs:11:11
   |
11 |     test(|s:&'static i32|{});
   |           ^ help: if this is intentional, prefix it with an underscore: `_s`

error: lifetime may not live long enough
  --> src/main.rs:11:11
   |
11 |     test(|s:&'static i32|{});
   |           ^ - let's call the lifetime of this reference `'1`
   |           |
   |           requires that `'1` must outlive `'static`

Desired output

The implementation is not general enough

Rationale and extra context

The closure parameter is explicitly specified as &'static i32, where does the lifetime 'l come from? Moreover, the lifetime 'static should outlive any lifetime, however, the diagnosis instead says

lifetime may not live long enough

Presumably, the implementation of trait FnOnce for the closure type is only for 'static, which is not general enough.

Other cases

No response

Rust Version

rustc 1.81.0 (eeb90cda1 2024-09-04)
binary: rustc
commit-hash: eeb90cda1969383f56a2637cbd3037bdf598841c
commit-date: 2024-09-04
host: x86_64-apple-darwin
release: 1.81.0
LLVM version: 18.1.7

Anything else?

No response

Reproduce the lifetime diagnostic from the example in src/main.rs with rustc 1.81.0 and compare it with the requested wording. Start by tracing how rustc reports the closure's FnOnce lifetime requirement; done means this case reports that the implementation is not general enough instead of claiming the lifetime may not live long enough.