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

package foo

val a: Any? = null

fun outer() {
    if (a is String) {
        <caret>null
    }
}