In the past, we used the shadowing mechanism only when entering functions. Now, we do if in for loops and if statements too.

Note that scopes often don't start at the blocks (curly braces). In a function, arguments are part of the function body scope. In a for-loop, the init declaration is part if the for-loop body too, even if there are curly braces. For this reason, we don't apply shadowing at the block level.