Do for loops still need to be a terminating scope? #60253
Description
See: #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.