凍結

データが同じ名前で不変に束縛されると、それも_凍結_されます。_凍結された_データは、 不変束縛がスコープから外れるまで変更できません:

fn main() {
    let mut _mutable_integer = 7i32;

    {
        // 不変の `_mutable_integer` によるシャドーイング
        let _mutable_integer = _mutable_integer;

        // エラー! `_mutable_integer` はこのスコープ内で凍結されています
        _mutable_integer = 50;
        // FIXME ^ この行をコメントアウトする

        // `_mutable_integer` がスコープから外れる
    }

    // OK! `_mutable_integer` はこのスコープ内では凍結されていません
    _mutable_integer = 3;
}