Escopos e Shadowing (Sobreposição)

O escopo de uma variável é limitado ao bloco que a contém.

Você pode sobrepor (shadow) variáveis, tanto aquelas de escopos externos quanto variáveis do mesmo escopo:

fn main() {
    let a = 10;
    println!("antes: {a}");
    {
        let a = "olá";
        println!("escopo interno: {a}");

        let a = true;
        println!("sobreposto no escopo interno: {a}");
    }

    println!("depois: {a}");
}