calling .into() on a Into<Box<...>> resolving to {unknown}

[vivax3794]

rust-analyzer version: 0.3.1673-standalone
rustc version: rustc 1.72.1 (d5c2e9c34 2023-09-13)

The follow code:

fn bar(_: &str) {}

fn foo<T: Into<Box<str>>>(x: T) {
    let y = x.into();
    bar(&y);
}

compiles fine, and of course the type of y is Box<str>, but the inlay hints (and hover) are saying something else:

this isnt just happening with Box<str> but seems to happen to any Into<Box<_>>, and it look to just pick up whatever it guesses based on the usage (like above it saw &y when a &str is expected to guessed y must be a str), so you can get some pretty strange stuff:

(of course in this case it wont compile, but it shows that rust analyzer is just picking up what ever you use it as)

[lnicola]

Duplicate of #5514.