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

[Robbe Pincket]

Hi

It seems like there isn’t anything about definite (un)assignedness in guard expressions? I was also wondering why one can only use (effectivly) final variables in a guard expression.

Greetings
Robbe Pincket

From: Gavin Bierman<mailto:gavin.bierman at oracle.com>
Sent: woensdag 19 oktober 2022 0:23
To: amber-spec-experts<mailto:amber-spec-experts at openjdk.java.net>
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

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

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