type inference with std::borrow::Borrow doesn't seem to work.

[jhgg]

consider the following code:

fn a<B>(b: B)
where
    B: std::borrow::Borrow<u64>,
{
    let c = b.borrow();
}

rust-analyzer infers the type of c to be &unknown.

However, now consider the following code, where we do not use std::borrow::Borrow, however we use an equivalently defined trait:

trait Borrow<Borrowed: ?Sized> {
    fn borrow(&self) -> &Borrowed;
}

fn a<B>(b: B)
where
    B: Borrow<u64>,
{
    let c = b.borrow();
}

rust-analyzer infers c as &u64.

rust-analyzer version: rust-analyzer version: 0.0.0 (3903243 2022-08-15)

rustc version: rustc 1.63.0 (4b91a6ea7 2022-08-08)

relevant settings: n/a

[flodiebold]

Probably duplicate of #5514

[Austaras]

It really is a duplicate of #5514, following code would infer c as unknown

trait Borrow<Borrowed: ?Sized> {
    fn borrow(&self) -> &Borrowed;
}

impl<T: ?Sized> Borrow<T> for T {
    fn borrow(&self) -> &T {
        self
    }
}

fn a<B>(b: B)
where
    B: Borrow<u64>,
{
    let c = b.borrow();
}