I have updated the spec with these various suggestions. Thank you! https://cr.openjdk.org/~gbierman/jep447/latest/
Gavin On 30 May 2023, at 16:39, Archie Cobbs <[email protected]> wrote: On Thu, May 18, 2023 at 2:33 PM Alex Buckley <[email protected]<mailto:[email protected]>> wrote: However, the draft does not address how JLS20, at https://docs.oracle.com/javase/specs/jls/se20/html/jls-8.html#jls-8.10.4-500 says "A record declaration may contain declarations of constructors that are not canonical constructors. The body of every non-canonical constructor in a record declaration must *start with* an alternate constructor invocation (§8.8.7.1), or a compile-time error occurs." I assume the intent is to allow a non-canonical ctor in a record declaration to *contain* an alternate ctor invocation, not just *start with*? If so, please amend 8.10.4 in the draft. Good catch - I agree that changing "start with" to "contain" is the right fix. Gavin, will you update the spec draft please? -Archie -- Archie L. Cobbs
