rust-analyzer's function argument tooltip shows wrong `impl Trait` type.

rust-analyzer version: rust-analyzer version: 0.0.0 (ce3644694 2022-06-30)

rustc version: cargo 1.62.0-nightly (a44758ac8 2022-05-04)

For this code:

trait Foo{}
fn foo(_x: impl Foo){}

trait Bar{}
fn bar() -> impl Bar {  }
impl Bar for (){}
impl<T:Bar> Foo for T{} 

fn main() {
    let a = bar();
    foo(┃a); // tooltip when completing arguments: fn foo(_x: impl Bar)
    // expected:  fn foo(_x: impl Foo)
}

I expect RA to show impl Foo when completing arguments (Ctrl+Shift+Space) from within function call parentheses.
However, it shows as if function accepts another trait impl, being influenced by the type of the variable that is passed into the function call.
Tooltop for the function itself correctly shows impl Foo instead, and I expect argument completion tooltip to match the documentation tooltip unless RA lacks some info.

Start with the minimal Rust example in the issue and reproduce the argument-completion tooltip using Ctrl+Shift+Space. Compare it with the function's documentation tooltip; done means argument completion displays fn foo(_x: impl Foo) rather than using the passed variable's impl Bar type.