On Mon, 6 May 2024 21:31:02 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
>> I originally started at `rank`, but then when I added the 2nd of the two >> checks below I switched to 0, but your min suggestion should be optimal. > > Fixed. I was about to post a similar comment but found it has been already fixed in the update. :) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19044#discussion_r1591618748