Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
sealed
/
NeverDerivedFromNested.fir.kt
blob: b59a1dae1f61fd10f46d0f8ea0a9762e9702fc4d [
file
]
class
A
{
sealed
class
Base
}
class
Derived
:
A
.
Base
()
fun test
()
{
class
DerivedLocal
:
<!
SEALED_SUPERTYPE_IN_LOCAL_CLASS
!>
A
.
Base
<!>()
}