> From: "Gavin Bierman" <[email protected]>
> To: "amber-spec-experts" <[email protected]>
> 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 

Reply via email to