Post

Isn’t it easier to just disallow all shadowing and automatically rename the shadowing variables, instead of handling all the cases where shadowing occurs but doesn’t hurt?