A modern programming language that makes developers happier.

kotlinlang

I am confused about why this is an error:
```interface A : A.B {
    interface B {
    }
}```
The error is "There's a cycle in the inheritance hierarchy for this type", however, this doesn't make sense because a nested interface's type isn't dependent on the outer interface's type at all. Can anyone provide some insight?

Additionally, why would the above be disallowed when the following is allowed?
```interface A : Iterable&lt;A.B&gt; {
    interface B {
    }
}```

In the second case, it's because generics are erased, so `A.B` has no impact on `A` . No idea why the first one is forbidden, though.

maybe it's a rough edge of Kotlin's type system :man-shrugging:

I believe this isn't representable in Java either

<https://youtrack.jetbrains.com/issue/KT-17455>