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

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