<div dir="ltr"><div dir="ltr">On Fri, May 2, 2025 at 2:04 PM Stuart Marks <<a href="mailto:smarks@openjdk.org">smarks@openjdk.org</a>> wrote:</div><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">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).<br></blockquote><div><br></div><div>For those who enjoy rehashing the past, here it is :)  <a href="https://bugs.openjdk.org/browse/JDK-8307863">https://bugs.openjdk.org/browse/JDK-8307863</a></div><div><br></div><div>-Archie</div></div><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>