Files
kotlin-fork/compiler/testData/codegen/box/smartCasts/kt19100.kt
T
2019-11-19 11:00:09 +03:00

13 lines
233 B
Kotlin
Vendored

// IGNORE_BACKEND_FIR: JVM_IR
open class KFoo {
fun foo(): String {
if (this is KFooQux) return qux
throw AssertionError()
}
}
class KFooQux : KFoo()
val KFooQux.qux get() = "OK"
fun box() = KFooQux().foo()