It’s more like we never forbade shadowing, since it just fell out of the implementation of the compiler.
As I recall, Graydon floated the idea of forbidding shadowing, but I stuck up for the feature, nobody else really cared, and so it stayed.
Related Topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| We need a variable shadowing suppression option | 40 | 3907 | May 21, 2020 | |
| Stacked Borrows: An Aliasing Model For Rust | 49 | 7186 | March 25, 2019 | |
| [Brainstorming] Is there a body of research on ownership equivalent to Stacked Borrows | 6 | 1432 | July 2, 2020 | |
| Flow dependency contracts | 3 | 1963 | March 25, 2019 | |
| Blog post: A formulation for scoped tasks | 20 | 2500 | July 31, 2023 |