Do `for` loops still need to be a terminating scope?

See: https://github.com/rust-lang/rust/pull/60225

> @pnkfelix Can you comment on whether this construct is actually relevant today? I haven't been able to encode a program where the difference can be observed with and without the construct when using the desugaring of for-loops. If it isn't relevant, then let's perhaps make an issue and remove it in a follow up PR.

