The draft spec has been updated with type inference for record patterns. For now - following some feedback - we’re pausing the thought of adding type inference for type patterns using a diamond form. [I’ll post separately about this shortly - we should discuss this possibility further.]
https://cr.openjdk.java.net/~gbierman/jep432+433/latest Comments on this draft are welcome. I have some other edits queued up; I’ll email the list when they have been applied. (The URL above will always point to the most recent build.) Thanks, Gavin On 18 Oct 2022, at 23:22, Gavin Bierman <[email protected]<mailto:[email protected]>> wrote: 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
