{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"BinOp::AddWithOverflow"}]}
            BinOp::AddWithOverflow => bug!("AddWithOverflow should have been translated already"),
            BinOp::AddUnchecked => crate::mir::BinOp::AddUnchecked,
            BinOp::Sub => crate::mir::BinOp::Sub,