compiler/testData/diagnostics/tests/smartCasts/falseReceiverSmartCast.fir.kt

open class SuperFoo {
    public fun bar(): String {
        if (this is Foo) {
            superFoo()
            return baz()
        }
        return baz()
    }

    public fun baz() = "OK"
}

class Foo : SuperFoo() {
    public fun superFoo() {}
}