{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
        // Introduce a temporary for the discriminant value.
        let source_info = bbs[switch_bb_idx].terminator().source_info;