{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"mir::TerminatorKind::Goto"}]}
            mir::TerminatorKind::Goto { .. }
            }
            | mir::TerminatorKind::SwitchInt { .. }