openide/plugins/kotlin/idea/tests/testData/dataFlowValueRendering/complexIdentifierWithInitiallyNullableReceiver.kt

fun outer(c: C?) {
    if (c != null && c.x is String) {
        <caret>null
    }
}

class C {
    val x: Any? = null
}