{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"|"}]}
            | TerminatorKind::Unreachable
            | TerminatorKind::UnwindTerminate(_)
            | TerminatorKind::UnwindResume