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