[External] : Re: Draft Spec for Flexible Constructor Bodies (JEP 513)

[Archie Cobbs]

Hi Gavin,

On Thu, Apr 24, 2025 at 5:08 AM Gavin Bierman <gavin.bierman at oracle.com>
wrote:

> > On 23 Apr 2025, at 18:02, Archie Cobbs <archie.cobbs at gmail.com> wrote:
> > 1. Canonical record constructors already limit what you can do before
> super(): namely, anything that you can do within a super() call parameter
> list. So this is not a new problem.
>
> I think Chen’s issue has been resolved... but just to add for correctness
> that canonical record constructor bodies are not permitted to contain a
> constructor invocation.


You're right, and what I wrote wasn't clear. I should have said:
"Canonical record constructors already restrict what you can do before
super() because they don't allow super() invocations; in particular, they
disallow anything that you would normally be able to do within a super()
call parameter list. So this is not a new problem."

Thanks,
-Archie

-- 
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-spec-observers/attachments/20250424/73eeb709/attachment.htm>