No. Definitely not.
I don’t even know what you would propose that to mean! I have a guess, but I’m
order for that guess to even make sense, it would assume a model for how
patterns are declared that is very different from what we have now.
There are about a zillion places where you can use types and can’t use var:
array elements, import statement, type parameters, etc. this is just one of
those.
Sent from my iPad
> On Sep 7, 2020, at 4:28 AM, Remi Forax <fo...@univ-mlv.fr> wrote:
>
> Just a question,
> do we agree that the syntax below is valid ?
>
> Point point = ...
> switch(point) {
> case var(var x, var y): ...
> }
>
> i.e. that var can be written everywhere there is a type in a Pattern.
>
> Rémi
