Hi Alex, Great comments - thanks. I like "pre-construction context" better also.
On Thu, Apr 20, 2023 at 5:42 PM Alex Buckley <[email protected]> wrote: > You ban `return` in the prologue, but see below > for a notional ctor body that I'm certain javac would sensibly reject > for an unreachable `super();` "statement".) > > ``` > P: { > System.out.println("ctor started"); > break P; > super(); > } > System.out.println("ctor finished"); > ``` > 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 *ConstructorBody*, in 8.8.7, which effectively requires *ExplicitConstructorInvocation* to be top level. -Archie -- Archie L. Cobbs
