Draft Spec for Fourth Preview of Pattern Matching for Switch (JEP 433) and Second Preview of Record Patterns (JEP 432) now available

[Remi Forax]

> From: "Gavin Bierman" <gavin.bierman at oracle.com>
> To: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Sent: Wednesday, October 19, 2022 12:22:55 AM
> Subject: Draft Spec for Fourth Preview of Pattern Matching for Switch (JEP 433)
> and Second Preview of Record Patterns (JEP 432) now available

> Dear experts:

> The first draft of a joint spec covering JEP 433 (Fourth Preview of Pattern
> Matching for switch) and JEP 432 (Record Patterns) is available at:

> [ https://cr.openjdk.java.net/~gbierman/jep432+433/latest |
> https://cr.openjdk.java.net/~gbierman/jep432+433/latest ]

> This covers all the changes for these JEPs *apart* from the proposal to infer
> type arguments in patterns. This will be added and announced shortly.

> Comments welcomed!
> Gavin

Still very disappointed that i can not express that i want the compiler to not compile a switch if a record has a new record component. 

Rémi 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-spec-observers/attachments/20221022/95549906/attachment.htm>