While the creation and destruction of a scope every loop iteration is the correct mental model for what this code does, there's no reason that implementations m

While the creation and destruction of a scope every loop iteration is the correct mental model for what this code does, there's no reason that implementations must actually perform any allocations - especially for an example like this where it is trivially determinable that no bindings escape the immediate scope.