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