idea/testData/resolve/partialBodyResolve/IfNotIsNothingProp.dump

Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
----------------------------------------------
val prop: Nothing
    get() = throw Exception()

fun foo(p: Any) {
    if (p !is String) {
        prop
    }
    println(<caret>p.length)
}