switch ([1,2]) {
  @match [y,y]: printf("%d\n",y); break;
}