Type inference breaks when a loop is added between inference points

quinedot:

Right, your playground demonstrated that. But your text says RA specifically. Do you have any reason to think it's RA specific?

I initially thought it was caused by Rust Analyzer, but after testing directly with rustc (as you suggested), I encountered the same issue. This suggests it may be related to the compiler itself.

quinedot:

Additionally, do you have any reason to think it's actually "recently"? I spot-checked the example back through 1.60 and didn't find a rustc version it worked on.

I think the reason I never encountered this bug before is that I usually specified return types explicitly. Since refactoring the code to make it less verbose, I’ve indirectly uncovered this issue.