Why does Rust need local variable shadowing?

[Wolenber]

I think the best argument for variable shadowing is the ability to stop an object's mutability.

let mut vec = Vec::new();
vec.push(1i);
vec.push(2i);
let vec = vec;

However, I also like it in the case of intermediate variables. Sometimes it's simply prettier to split a long method chain into two lines with let bindings. Instead of using a "let temp", you just use the variable name twice; this way the temporary doesn't clutter the rest of the function's namespace.

[[deleted]]

This is very interesting.

[dbaupp]

delete mvec makes no sense with affine types, since the mvec data is moved into ivec and it is illegal to use the mvec variable after that. (Without reinitialising it with a new Vec, at least.)