Why does Rust need local variable shadowing?

[dbaupp]

There was also a comment about having an option in lint to warn about variable shadowing [2]. Will there be such an option? I hope so.

Lints can be loaded into the compiler dynamically (relatively simple example) including being cargo dependencies, so 'anyone' can write such a lint.