I tried this code: (sorry, i couldn't extract a minimal example and

This regressed in <a class="issue-link js-issue-link" data-error-text="Failed to load

cc <a class="user-mention notranslate" data-hovercard-type="user" data-hovercard-url="

looking into it, thanks <a class="user-mention notranslate" data-hovercard-type="user"

WG-prioritization assigning priority (<a href="https://rust-lang.zulipchat.com/#narrow

endless loop by running `cargo test` with toolchain 2024-05-14 about rust HOT 4 OPEN

xMAC94x commented on June 16, 2024

endless loop by running `cargo test` with toolchain 2024-05-14

from rust.

Comments (4)

lukas-code commented on June 16, 2024 1

This regressed in #123594, where the new solver got enabled for the non_local_definitions lint.

It looks like the core issue here is some kind of exponential runtime in the new solver when there are many bounds on associated types.

Also, this is unrelated to rustdoc and can be reproduced with just rustc.

"minimal" repro

pub trait Typed {}

pub struct SpeciesCases<Elim>(Elim);

pub trait SpeciesPackedElim {
    type Ogre;
    type Cyclops;
    type Wendigo;
    type Cavetroll;
    type Mountaintroll;
    type Swamptroll;
    type Dullahan;
    type Werewolf;
    type Occultsaurok;
    type Mightysaurok;
    type Slysaurok;
    type Mindflayer;
    type Minotaur;
    type Tidalwarrior;
    type Yeti;
    type Harvester;
    type Blueoni;
    type Redoni;
    type Cultistwarlord;
    type Cultistwarlock;
    type Huskbrute;
    type Tursus;
    type Gigasfrost;
    type AdletElder;
    type SeaBishop;
    type HaniwaGeneral;
    type TerracottaBesieger;
    type TerracottaDemolisher;
    type TerracottaPunisher;
    type TerracottaPursuer;
    type Cursekeeper;
}

impl<'b, Elim: SpeciesPackedElim> Typed for &'b SpeciesCases<Elim>
where
    &'b Elim::Ogre: Typed,
    &'b Elim::Cyclops: Typed,
    &'b Elim::Wendigo: Typed,
    &'b Elim::Cavetroll: Typed,
    &'b Elim::Mountaintroll: Typed,
    &'b Elim::Swamptroll: Typed,
    &'b Elim::Dullahan: Typed,
    &'b Elim::Werewolf: Typed,
    &'b Elim::Occultsaurok: Typed,
    &'b Elim::Mightysaurok: Typed,
    &'b Elim::Slysaurok: Typed,
    &'b Elim::Mindflayer: Typed,
    &'b Elim::Minotaur: Typed,
    &'b Elim::Tidalwarrior: Typed,
    &'b Elim::Yeti: Typed,
    &'b Elim::Harvester: Typed,
    &'b Elim::Blueoni: Typed,
    &'b Elim::Redoni: Typed,
    &'b Elim::Cultistwarlord: Typed,
    &'b Elim::Cultistwarlock: Typed,
    &'b Elim::Huskbrute: Typed,
    &'b Elim::Tursus: Typed,
    &'b Elim::Gigasfrost: Typed,
    &'b Elim::AdletElder: Typed,
    &'b Elim::SeaBishop: Typed,
    &'b Elim::HaniwaGeneral: Typed,
    &'b Elim::TerracottaBesieger: Typed,
    &'b Elim::TerracottaDemolisher: Typed,
    &'b Elim::TerracottaPunisher: Typed,
    &'b Elim::TerracottaPursuer: Typed,
    &'b Elim::Cursekeeper: Typed,
{}

fn main() {
    pub struct Cases;
    impl<'b> Typed for &'b Cases {}
}