{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
        let source_info = bbs[switch_bb_idx].terminator().source_info;
        // Introduce a temporary for the discriminant value.
        let discr_local = patch.new_temp(discr_ty, source_info.span);