{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"TerminatorEdges::SwitchInt"}]}
            TerminatorEdges::SwitchInt { targets, .. } => {
            }
                for to_idx in targets.all_targets() {