compiler/testData/codegen/box/traits/kt3579.kt

open class Persistent(val p: String)
interface Hierarchy<T: Persistent > where T : Hierarchy<T>

class Location(): Persistent("OK"), Hierarchy<Location>

fun box(): String {
    return Location().p
}