On Fri, Oct 21, 2022 at 3:10 PM Kyotaro Horiguchi <horikyota....@gmail.com>
wrote:

> It seems to me that the comment is true and the condition is a thinko.


Yeah, the two conditions could be both false. How about we update the
comment a bit to emphasize this? Such as

    /* At most one of these conditions can be true */
or
    /* These conditions can not be both true */


> Please find the attached fix.


+1

Thanks
Richard

Reply via email to