infinite loop during function argument check

[kocsis1david]

I tried this code:

struct A;
struct B;
struct C;

fn f(
    a1: A,
    a2: A,
    b1: B,
    b2: B,
    c1: C,
    c2: C,
) {}

fn main() {
    f(
        C,
        C,
        A,
        A,
        B,
        B,
    );
}

I expected to see this happen: the compiler giving an error and showing a hint that order of the argument are not correct.

Instead, this happened: it stucks, waits forever.

Meta

It happens on both stable and nightly.

Might be related to this: #100478

[compiler-errors]

Yeah, this is probably a dupe of that other one. cc @chenyukang

[chenyukang]

Yeah, this is probably a dupe of that other one. cc @chenyukang

Yes, it's another bug in the same function, but the root cause is different.
I will working on the same PR for this issue.