Check variable shadowing in a block.
(check-shadow-block block vars) → _
We return no information in case of success, because the variables declared in a block are not visible after the block.