Cyclic reference in type is not detected

## Compiler version

3.2.0-RC1

## Minimized code

```scala
type _NestedSet2[_] = Set[_NestedSet2[?]]
```

## Output

Compiles, but reduces the right hand side to `Set[Any]`.

## Expectation

Definition should be rejected since it contains a cycle.

