<div dir="ltr"><div dir="ltr">On Tue, Feb 7, 2023 at 4:21 PM Brian Goetz <<a href="mailto:brian.goetz@oracle.com">brian.goetz@oracle.com</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

  
  <div>
    <font size="4"><font face="monospace">I think the approach is right,
        the specific list of stuff might need to be reviewed more
        carefully (specifically, I've not thought through the connection
        with inner classes, which we've now opened the door to.)  Let's
        call it a placeholder and we'll make sure to review it more
        carefully after you've worked through the implementation and
        caught any obvious gaps?</font></font></div></blockquote><div><br></div></div><div class="gmail_quote">Thanks - that sounds like a plan.</div><div class="gmail_quote"><br></div><div class="gmail_quote">FWIW in the JEP I've raised the importance of fixing this <a href="https://bugs.openjdk.org/browse/JDK-8301649">bug in the spec</a> (i.e., that constructor invocation is not really a "static context" but truly something different - what we're calling a "pre-initialization context") and made it one of the "goals" of the JEP, because the gulf between the spec on one hand and the compiler's current behavior (and what everyone has actually been doing for the past decade) on the other hand is pretty glaring.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">Regarding the <a href="https://github.com/archiecobbs/jdk/tree/SuperInit">prototype implementation</a>, it's complete and seems to be working. One nice surprise is that, because the compiler already effectively implements this notion of "pre-initialization context" within superclass constructors, the changes required are relatively limited, in some cases, just ensuring the appropriate error message is generated.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">-Archie</div><div class="gmail_quote"><br></div>-- <br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>