
<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <font size="4" face="monospace">One of the many reasons in-args

      should be effectively final.</font><br>

    <br>

    <div class="moz-cite-prefix">On 12/14/2023 2:16 AM, John Rose wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:90DE123B-224C-4B3D-BCDD-2966DF56A6AB@oracle.com">

      <p dir="auto">P.S. If we ever get in-args into patterns it gets

        even more wooly,<br>

        since those would be little expressions embedded in random

        places<br>

        in the case patterns, and would be evaluated at unpredictable<br>

        moments by the synthetic switch decision logic. They probably<br>

        need to be eta-converted (aka lambda-quoted) if they have any<br>

        side-effects. For more amusement on

        eta-conversion/lambda-quoting,<br>

        you might like this:<br>

        <a href="https://cr.openjdk.org/~jrose/jls/eta-abstraction-expr-quoting.html" style="color: #3983C4;" moz-do-not-send="true" class="moz-txt-link-freetext">https://cr.openjdk.org/~jrose/jls/eta-abstraction-expr-quoting.html</a></p>

    </blockquote>

    <br>

  </body>

</html>