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