compiler/testData/diagnostics/tests/sealed/DerivedTopLevel.kt - third_party/github/JetBrains/kotlin - Git at Google

 sealed class Base

 class Derived: Base() {
     class Derived2: Base()
 }

 fun test() {
     class Local: <!SEALED_SUPERTYPE!>Base<!>()
 }
	sealed class Base

	class Derived: Base() {
	class Derived2: Base()
	}

	fun test() {
	class Local: <!SEALED_SUPERTYPE!>Base<!>()
	}