Ha! I’ll change the example.
Thanks,
Gavin
> On 18 Feb 2021, at 12:52, Tagir Valeev <amae...@gmail.com> wrote:
>
> Hello!
>
> Thank you!
>
> There's a sample in Nested Record and Array Patterns draft:
>
> static void printColorOfUpperLeftPoint(Object o) {
> if (o instanceof Rectangle(ColoredPoint ul, ColoredPoint lr)){
> if (ul instanceof ColoredPoint(Point p, Color c)) {
> System.out.println(c);
> }
> }
> }
>
> It looks like here, the nested pattern "ul instanceof
> ColoredPoint(Point p, Color c)" is total. I thought that there's idea
> to prohibit total patterns with instanceof (at least total type test
> patterns are already prohibited). Please correct me if I'm wrong.
>
> With best regards,
> Tagir Valeev.
>
> On Thu, Feb 18, 2021 at 7:33 PM Gavin Bierman <gavin.bier...@oracle.com>
> wrote:
>>
>> Dear all,
>>
>> The next steps in adding pattern matching to Java are coming! I have drafted
>> two new JEPs:
>>
>> - Nested Record and Array Patterns:
>> https://bugs.openjdk.java.net/browse/JDK-8260244
>>
>> - Pattern Matching for switch:
>> https://bugs.openjdk.java.net/browse/JDK-8213076
>>
>> We split them up to try to keep the complexity down, but we might decide to
>> merge them into a single JEP. Let me know what you think.
>>
>> Draft language specs are under way - I will announce those as soon as they
>> are ready.
>>
>> Comments welcome as always!
>>
>> Thanks,
>> Gavin
