tail call diagnostics omit lifetimes

[WaffleLapkin]

Code

#![feature(explicit_tail_calls)]
#![allow(incomplete_features)]

fn foo<'a>(_: fn(&'a ())) {
    become bar(dummy);
}

fn bar(_: fn(&())) {}

fn dummy(_: &()) {}

fn main() {}

Current output

error: mismatched signatures
 --> src/main.rs:5:5
  |
5 |     become bar(dummy);
  |     ^^^^^^^^^^^^^^^^^
  |
  = note: `become` requires caller and callee to have matching signatures
  = note: caller signature: `fn(fn(&()))`
  = note: callee signature: `fn(for<'a> fn(&'a ()))`

Desired output

error: mismatched signatures
 --> src/main.rs:5:5
  |
5 |     become bar(dummy);
  |     ^^^^^^^^^^^^^^^^^
  |
  = note: `become` requires caller and callee to have matching signatures
  = note: caller signature: `fn(fn(&'a ()))`
  = note: callee signature: `fn(for<'a> fn(&'a ()))`

Rust Version

1.91.0-nightly (2025-08-04 0060d5a2a8a86a31f629)