compiler/testData/diagnostics/tests/smartCasts/implicitToGrandSon.kt

// FIR_IDENTICAL
open class A {
    open fun foo() = "FAIL"

    fun bar() = if (this is C) foo() else "FAIL"
}

open class B : A()

open class C : B() {
    override fun foo() = "OK"
}