Type inference breaks when a loop is added between inference points

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

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.