kotlin-fork/compiler/testData/diagnostics/tests/regressions/OverrideResolution.kt

fun box(c : C) {
    val a : C = c
    a.foo()
}

open class A {
    open fun foo() {}
}

open class B : A() {
    override fun foo() {}
}

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