idea/testData/dataFlowValueRendering/smartNotNull.kt

fun outer(a: Any?) {
    if (a != null) {
        <caret>null
    }
}