{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"for"}]}
                for (_, target) in targets.iter() {
            TerminatorKind::SwitchInt { targets, discr: _ } => {
                    self.check_edge(location, target, EdgeKind::Normal);