On Fri, 15 Mar 2024 15:00:40 GMT, Joel Uckelman <d...@openjdk.org> wrote:

>> So, changing the condition in the `if`-block from `special1 || special2` to 
>> `special1 && special2` makes the sorting order consistent because the 
>> relation is now *transitive*:
>> 
>> 
>> a < b & b < c therefore a < c
>
> Hi, I'm the submitter of the original bug report. I can confirm that you got 
> the reason for the change exactly right.

Thank you, @uckelman, for the detailed analysis. Greatly appreciated.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/18126#discussion_r1533761341

Reply via email to