----- Mail original ----- > De: "Brian Goetz" <brian.go...@oracle.com> > À: "Remi Forax" <fo...@univ-mlv.fr> > Cc: "jan lahoda" <jan.lah...@oracle.com>, "amber-spec-experts" > <amber-spec-experts@openjdk.java.net> > Envoyé: Vendredi 7 Février 2020 00:00:40 > Objet: Re: Pattern Matching for instanceof (Preview 2)
>> var is not really any, it's an inferred type pattern. >> '_' is any, no ? > > Conveniently, an inferred type pattern _is_ an any pattern. (See the > explanation in the recent discussion on nullity, where this fell out > nicely.) So semantically a var pattern is an any pattern. not if there are multiple de-constructors with the same arity, right ? > Whether or not we want an explicit any pattern is a separate question. Rémi
