idea/testData/checker/codeFragments/smartCasts.kt

fun foo() {
    val a: Int? = 1
    if (a != null) {
        <caret>a
    }
}