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