{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"kind:"}]}
        kind: TerminatorKind::SwitchInt { targets: child_targets, discr: child_discr },
    let Terminator {
        source_info,