associated type is unresolved when trait path is qualified.

[jhgg]

fn main() {}

trait T1 {
    type Bar;
    type Baz;
}

struct Foo;

mod t2 {
    pub trait T2 {
        type Bar;
    }
}

use t2::T2;

impl T2 for Foo {
    type Bar = String;
}

impl T1 for Foo {
    type Bar = <Foo as t2::T2>::Bar;
    //                          ^^^ unresolvedReference
    type Baz = <Foo as T2>::Bar;
    //                      ^^^ typeAlias
}

When T2 is used as t2::T2, Bar is unresolved, but when using T2 directly by getting it in scope w/ use t2::T2;, it is resolved properly.

rust-analyzer version: 14c86d5 2022-04-13 dev
rustc 1.60.0 (7737e0b5c 2022-04-04)

[lnicola]

Probably dupe of #8282.

[jhgg]

I swear I searched 🤣

[jhgg]

I don't think this is the same issue though, because 8282 has the trait in scope, where as this issue refers to it having a qualified path for the trait. I'll reopen but feel free to close if it is indeed dupe.

[bitgaoshu]

I think the two is same. the both try to resolve a path fully. and the last segment is a assoc of trait.

[bitgaoshu]

the diff is need to fix different method