The following code:

type T[P T[P]] = int

leads to a panic in the type checker. This requires tip allowing cycles through type parameters.