compiler/testData/diagnostics/tests/smartCasts/kt5427.kt

fun foo(p: String?): Int {
    // We should get smart cast here
    val x = if (p != null) { <!DEBUG_INFO_SMARTCAST!>p<!> } else "a"
    return x.length
}