Rustc behaviour mismatch with type alias

[philberty]

Code

https://github.com/rust-lang/rust/blob/2595d038273a4c7746320efd06200764f99bd760/src/test/ui/qualified/qualified-path-params-2.rs

struct S;

trait Tr {
    type A;
}

impl Tr for S {
    type A = S;
}

impl S {
    fn f<T>() {}
}

type A = <S as Tr>::A::f<u8>;
//~^ ERROR ambiguous associated type

fn main() {}

see gccrs https://godbolt.org/z/1oGTafn1z

Meta

• What version of Rust GCC were you using, git sha if possible. be27571

[philberty]

This test case actually compiles as of 1bd1e46

[CohenArthur]

Mh, so this is no longer an ICE, but it is still a bug in a way. With the exact test-case above rustc 1.49 outputs the following:

error[E0223]: ambiguous associated type
  --> test.rs:15:10
   |
15 | type A = <S as Tr>::A::f<u8>;
   |          ^^^^^^^^^^^^^^^^^^^ help: use fully-qualified syntax: `<<S as Tr>::A as Trait>::f`

error: aborting due to previous error

So I assume we're missing a check that there are multiple function candidates?