[match types] ill-formed recursion causes compiler to hang

## Minimized code

```Scala
type *:[A, B] = A match
  case (B *: x) => A
  case (x *: y) => x *: (B *: y)
  case _ => A *: B
```

## Output (click arrow to expand)
<details>
Well, not actually crash, but it hangs indefinitely
</details>
