{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"patch.patch_terminator(switch_bb_idx,"}]}
        patch.patch_terminator(switch_bb_idx, bbs[first].terminator().kind.clone());
        patch.add_statement(parent_end, StatementKind::StorageDead(discr_local));
        Some(())