`polymorphic_recursion.rs` takes longer to compile

[dianqk]

Code

I tried this code:

// skip-filecheck
// Make sure that the MIR inliner does not loop indefinitely on polymorphic recursion.
// compile-flags: --crate-type lib

// Randomize `def_path_hash` by defining them under a module with different names
macro_rules! emit {
    ($($m:ident)*) => {$(
        pub mod $m {
            pub trait Tr { type Next: Tr; }

            pub fn hoge<const N: usize, T: Tr>() {
                inner::<N, T>();
            }

            #[inline(always)]
            fn inner<const N: usize, T: Tr>()
            {
                inner::<N, T::Next>();
                inner::<N, T::Next>();
            }
        }
    )*};
}

// Increase the chance of triggering the bug
emit!(m00 m01 m02 m03 m04 m05 m06 m07 m08 m09 m10 m11 m12 m13 m14 m15 m16 m17 m18 m19);

https://github.com/rust-lang/rust/blob/1.76.0/tests/mir-opt/inline/polymorphic_recursion.rs

I expected to see this happen: It compiles quickly.

Instead, this happened: It takes 10s to complete.

Version with regression

Bisected to #120584.

cc @compiler-errors

[compiler-errors]

@dianqk: Why did you title this "is broken"? It just takes longer to compile, or is it broken some other way?

I'll look into the upcoming week.

[dianqk]

@dianqk: Why did you title this "is broken"? It just takes longer to compile, or is it broken some other way?

I'll look into the upcoming week.

Sorry, it just takes longer to compile.

[apiraino]

WG-prioritization assigning priority (Zulip discussion).

@rustbot label -I-prioritize +P-medium -regression-untriaged