Ilya Matveev
1b553ebfaf
Added tests from testData/codegen/box directory. There are blackbox tests in other directories and they are to be added.
17 lines
317 B
Kotlin
17 lines
317 B
Kotlin
open class SuperFoo {
|
|
public fun bar(): String {
|
|
if (this is Foo) {
|
|
superFoo() // Smart cast
|
|
return baz() // Cannot be cast
|
|
}
|
|
return baz()
|
|
}
|
|
|
|
public fun baz() = "OK"
|
|
}
|
|
|
|
class Foo : SuperFoo() {
|
|
public fun superFoo() {}
|
|
}
|
|
|
|
fun box(): String = Foo().bar() |