[External] : Re: Nullity (was: Pattern features for next iteration)

[forax at univ-mlv.fr]

----- Mail original -----
> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> Envoyé: Vendredi 22 Janvier 2021 15:05:06
> Objet: Re: [External] : Re: Nullity (was: Pattern features for next iteration)

> On 1/22/2021 8:50 AM, Remi Forax wrote:
>> I don't think we should support the fallthrough with null given that adding a
>> "null comma" in front of a case provides the same semantics.
>>
> 
> Uhm, that *is* the fallthrough.  The two are the same, just different
> syntaxes.  You can do both, or neither, but you can't really do one and
> not the other.

I suppose it depends how it is specified in the JLS, adding a special case that say "case constant, Type binding" seems easier and enough,
but if you think that adding the fallthrough case with null is not an issue, i'm fine with that.

Rémi