Is case var(var x, var y) a valid syntax ?

[Brian Goetz]

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 <forax at 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