compiler/testData/diagnostics/tests/sealed/NeverDerivedFromNested.kt

class A {
    sealed class Base
}

class Derived : A.Base()

fun test() {
    class DerivedLocal : <!SEALED_SUPERTYPE!>A.Base<!>()
}