{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"DivisionByZero(_)"}]}
            DivisionByZero(_) => LangItem::PanicDivZero,
            Overflow(op, _, _) => bug!("{:?} cannot overflow", op),
            RemainderByZero(_) => LangItem::PanicRemZero,