----- Mail original -----
> De: "Brian Goetz" <brian.go...@oracle.com>
> À: "Remi Forax" <fo...@univ-mlv.fr>
> Cc: "amber-spec-experts" <amber-spec-experts@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

Reply via email to