> Расскажите подробнее? А то у меня в голове усвоилось только как пользоваться,
> а тут видимо какая-то теория хитрая

https://users.rust-lang.org/t/why-shadowing-is-implicit/2667
В принципе, там народ неплохо "накидал" (в смысле идей и паттернов использования, а не на вентилятор).
Тем более, "=" в фунциональщине именно знак равенства между левой и правой частью, т.е. "умеет" в деструктуризацию вида

let c = Foo::Qux(100); 
... 
    if let Foo::Qux(value) = c {
        println!("c is {}", value);
    }

Сишно-паскальное присвоение тут "рядом не стояло".

Ну или что-то типа
https://reasonml.github.io/docs/en/let-binding
---
Binding Shadowing

Bindings can be shadowed to give the appearance of updating them. This is a common pattern that should be used when it seems like a variable needs to be updated.

let x = 10;
let x = x + 10;
let x = x + 3;
/* x is 23 */