Cyclic Reference errors for recursive toplevel match types

## Minimized example

```Scala
class A
class B

type A2B[Xs <: Tuple] <: Tuple = Xs match
  case Unit => Unit
  case a *: as => B *: A2B[as]
```

## Output

Error: cyclic reference

## Expectation

Should compile. The type `A2B`  compiles OK if it is put inside an object `test`.

