Draft Spec for Third Preview of Pattern Matching for Switch and Record Patterns (JEP 405) now available

[Maurizio Cimadamore]

On 20/04/2022 16:44, Gavin Bierman wrote:
> Thanks Maurizio!
>
>> On 8 Apr 2022, at 11:57, Maurizio Cimadamore 
>> <maurizio.cimadamore at oracle.com> wrote:
>>
>> Hi Gavin,
>> great work - some comments:
>>
>> * in section 6 on names there's no mention of whether pattern 
>> variables are matched in the `when` clause.
>>
> This is covered in section 6.3.4? But maybe I misunderstand your point?
Ah - missed this.
> It is defined at the end of 14.30.1,
>
and this.

Thanks for the clarifications!

Maurizio

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20220427/65b52b8c/attachment.htm>