HRTB implied bounds due to dyn causes rustc to describe a non-reference as a reference

Code

struct Contra<'a>(fn(&'a ()));

trait Trait<'a>: 'a {
    fn method(self: Box<Self>, _: Contra<'a>);
}

fn what<'b>(x: Box<dyn for<'a> Trait<'a> + 'b>, y: Contra<'static>) {
    x.method(y);
}

Current output

error[E0521]: borrowed data escapes outside of function
 --> src/lib.rs:8:5
  |
7 | fn what<'b>(x: Box<dyn for<'a> Trait<'a> + 'b>, y: Contra<'static>) {
  |         --  -                                   - `y` declared here, outside of the function body
  |         |   |
  |         |   `x` is a reference that is only valid in the function body
  |         lifetime `'b` defined here
8 |     x.method(y);
  |     ^^^^^^^^^^^
  |     |
  |     `x` escapes the function body here
  |     argument requires that `'b` must outlive `'static`

For more information about this error, try `rustc --explain E0521`.

Desired output

x is not a reference, so it should not be described as a reference

Rationale and extra context

I believe that there's an implied 'b: 'a bound here. See https://github.com/rust-lang/rust/issues/104684#issuecomment-3850928492

Other cases

Rust Version

Reproducible on the playground with version 1.95.0-nightly (2026-02-03 366a1b93e7f466ebe559)

Anything else?

No response

No repository file or test is named. Start by compiling the provided Rust snippet on the reported nightly version and compare the E0521 diagnostic with the desired wording, then trace the compiler diagnostic path for this lifetime and dyn-trait case. Done means the output no longer describes x as a reference.