compiler/testData/diagnostics/tests/resolve/noStopOnReceiverUnstableSmartCast.kt

// RUN_PIPELINE_TILL: BACKEND
// FIR_IDENTICAL
interface Base {
    val parent: Base
}

class Derived : Base {
    override val parent: Base
        get() = TODO()
}

fun test(d: Derived) {
    when {
        d.parent is Derived -> d.parent.parent
    }
}

fun Any?.take() {}
class Something {
    var prop: String? = null

    fun String.take() {}

    fun test() {
        if (prop is String) {
            prop.take()
        }
    }
}

/* GENERATED_FIR_TAGS: classDeclaration, funWithExtensionReceiver, functionDeclaration, getter, ifExpression,
interfaceDeclaration, isExpression, nullableType, override, propertyDeclaration, smartcast, whenExpression */