case null and type pattern

[Manoj Palat]

Hi Gavin, All,

In http://cr.openjdk.java.net/~gbierman/jep406/jep406-20210608/specs/patterns-switch-jls.html#jls-14.30.1, Section 14.11, I see "If a switch label has a null case label element then if the switch label also has any pattern case element labels, they must be type patterns (14.30.1)." implying that the following code:

private static void foo(Object o) {
switch (o) {
case null, Integer i && i > 10 -> System.out.println(0); // flag error?
default -> System.out.println(o);
}
should have an error flagged for case label with null since the pattern case label element is not a type pattern but a guarded pattern.
Any reason for excluding guarded patterns here? Or does this requires a modification in spec to include guarded patterns as well?

Regards,
Manoj