On Thu, 7 Aug 2025 21:05:13 GMT, Stuart Marks <[email protected]> wrote:
>> Tagir F. Valeev has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Add @implSpec > > Intuitively, it feels to me like the invariant `min(a, b) == max(b, a)` would > be useful when `a` and `b` compare equal. Still mulling this over.... > > EDIT: never mind. I can't think of a good reason to change the > return-first-if-equal rule currently expressed in the spec. The CSR is finally approved, but I need one more review from a Reviewer to merge this change. @stuart-marks probably you can review? Thank you in advance! ------------- PR Comment: https://git.openjdk.org/jdk/pull/25297#issuecomment-3306322771
