<div dir="ltr"><div>Hi Alex,</div><div><br></div><div>Great comments - thanks. I like "pre-construction context" better also.<br></div><div dir="ltr"><br></div><div dir="ltr">On Thu, Apr 20, 2023 at 5:42 PM Alex Buckley <<a href="mailto:alex.buckley@oracle.com" target="_blank">alex.buckley@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">You ban `return` in the prologue, but see below <br>
for a notional ctor body that I'm certain javac would sensibly reject <br>
for an unreachable `super();` "statement".)<br>
<br>
```<br>
P: {<br>
     System.out.println("ctor started");<br>
     break P;<br>
     super();<br>
}<br>
System.out.println("ctor finished");<br>
```<br></blockquote><div><br></div><div>Maybe we need a parenthetical comment that points out how any nesting of a super()/this() call inside a block or anything else is disallowed by the language production for <i>ConstructorBody</i>, in 8.8.7, which effectively requires <i>ExplicitConstructorInvocation</i> to be top level.<br></div></div><div><br></div><div>-Archie</div><div><br></div><span>-- </span><br><div dir="ltr">Archie L. Cobbs<br></div></div>