problems with associated types and code assist

trait Test2 {
    fn test2();
}

trait Test1 {
    type A: Test2;

    fn test1();
}

fn test<H: Test1>(test: H) {
    Test1::<Problem1>
    H::<Problem1>
    Test1::A::<Problem2>
    H::A::<Problem2>
}

• Problem1:
  Code suggestions are different. While Test1:: offers the expected A and test1(), H:: adds stuff that doesn't make sense (like a clone() function).

• Problem2:
  Code assist shows tons of types and methods. One of which are the proper members, but sometimes even that doesn't work (which is why I'm actually reporting this, but I haven't nailed it when that happens. So I thought maybe solve these 2 issues first ...)

Start by reproducing the provided Rust snippet in rust-analyzer's code assist and compare completions for Test1::, H::, Test1::A::, and H::A::. Trace the completion entry point that produces these suggestions, then verify that associated types and methods are filtered consistently and that the relevant completions are present.