Using a trait as a bound on a on a associated type of a sub-trait causes MEMORY LEAK

[TirushOne]

rust-analyzer version: 0.3.2845-standalone (f1297b2 2026-03-29)

rustc version: rustc 1.92.0 (ded5c06cf 2025-12-08)

editor or extension: VSCode for windows 1.114.0

settings: unmodified/default

code snippet to reproduce:

trait SubTrait {
    type SubType;
}

trait SuperTrait: SubTrait<SubType: SuperTrait> {}

Run Rust Analyzer over the included code and watch as it consumes your RAM.

[ChayimFriedman2]

We know that, see #21915. I'm still figuring out the best way to handle that. This is clearly a bug, but also note the code is invalid.

[TirushOne]

I'm aware it's incorrect, but it shouldn't use as much memory as it does. Glad to see the issue is on the radar though.