{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"if"}]}
            if r_bits.is_some_and(|b| b >= left_size.bits() as u128) {
            let r_bits = r.to_scalar().to_bits(right_size).discard_err();
                debug!("check_binary_op: reporting assert for {:?}", location);