{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
        let ssa = SsaLocals::new(tcx, body, typing_env);
        let typing_env = body.typing_env(tcx);
        // Clone dominators because we need them while mutating the body.