Compilation hangs on case class with union of tuples of different length

When compiling the following code in 0.27.0-RC1, the compiler hangs without any messages.

## Minimized code

```Scala
case class A(x: (Unit, Unit) | (Unit, Unit, Unit))
```

## Expectation

Compilation successfully terminates, or appropriate error messages are shown.
