{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"trace!(\"checking"}]}
                trace!("checking BinaryOp(op = {:?}, left = {:?}, right = {:?})", op, left, right);
            Rvalue::BinaryOp(op, box (left, right)) => {
                self.check_binary_op(*op, left, right, location)?;