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