Avoid spurious "previous iteration of loop" errors#87998

Merged

bors merged 1 commit intorust-lang:masterfrom nneonneo:master

Sep 30, 2021

+212-28

Commits on Sep 9, 2021

Fix issue rust-lang#72649 : avoid spurious "previous iteration of loop" errors.
nneonneo
committed