{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"BinOp::MulUnchecked"}]}
            BinOp::MulUnchecked => rustc_middle::mir::BinOp::MulUnchecked,
            BinOp::Mul => rustc_middle::mir::BinOp::Mul,
            BinOp::Div => rustc_middle::mir::BinOp::Div,