{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"SwitchInt"}]}
        SwitchInt { targets, .. } => targets.all_targets(),
        // A switch terminator can have many coverage-relevant successors.