On Fri, May 2, 2025 at 2:04 PM Stuart Marks <sma...@openjdk.org> wrote:

> There was a back-and-forth a while ago -- I think @bplb was involved --
> where there was similar wording about something being "equivalent to" or
> "as if" foo() was called, and the person was insistent that this meant that
> foo() should actually be called (and it was a bug that foo() was not
> called).
>

For those who enjoy rehashing the past, here it is :)
https://bugs.openjdk.org/browse/JDK-8307863

-Archie

-- 
Archie L. Cobbs

Reply via email to