Aliases break resolution of qualified variants in patterns

[iDawer]

rust-analyzer version: rust-analyzer version: faaec86 2022-04-12 nightly

rustc version: rustc 1.60.0 (7737e0b5c 2022-04-04)

rust-analyzer/crates/hir/src/lib.rs

Lines 3159 to 3164 in 13f36e7

	it.into_iter().filter_map(|pred| match pred.skip_binders() {
	hir_ty::WhereClause::Implemented(trait_ref) => {
	Some(Trait::from(trait_ref.hir_trait_id()))
	}
	_ => None,
	})

hir_ty::WhereClause::Implemented is unresolved:

Minimized:

mod m {
    pub enum Enum {
        Foo(u8),
    }
    pub type Alias = Enum;
}
fn f() {
    let e = m::Alias::Foo(0);
    let m::Alias::Foo(x) = &e;
}

[jonas-schievink]

Looks like that's this FIXME:

rust-analyzer/crates/hir_ty/src/infer.rs

Lines 606 to 607 in ae68b68

	// FIXME: this should resolve assoc items as well, see this example:
	// https://play.rust-lang.org/?gist=087992e9e22495446c01c0d4e2d69521