I think you'll need to consider `LabelDef`s, too.

```scala
squala -Xprint:patmat -e "1 match { case 1 => try 1 finally () }"
...
case <synthetic> val x1: Int = 1;
            case5(){
              if (1.==(x1))
                {
                  <synthetic> val x2: Int = x1;
                  matchEnd4(try {
                    1
                  } finally ())
                }
              else
                case6()
            };
            case6(){
              matchEnd4(throw new MatchError(x1))
            };
            matchEnd4(x: Int){
              x
            }
```

See also #1892