Partial body resolve: processing of standard "error" function

idea/testData/resolve/partialBodyResolve/IfNotIsError.dump

@@ -1,2 +1,2 @@
-Resolve target: val kotlin.String.size: kotlin.Int
+Resolve target: value-parameter val p: kotlin.Any smart-casted to kotlin.String
 Skipped statements:

idea/testData/resolve/partialBodyResolve/IfNotIsErrorQualifier.dump

@@ -0,0 +1,2 @@
+Resolve target: value-parameter val p: kotlin.Any smart-casted to kotlin.String
+Skipped statements:

idea/testData/resolve/partialBodyResolve/IfNotIsErrorQualifier.kt

@@ -0,0 +1,6 @@
+fun foo(p: Any) {
+    if (p !is String) {
+        kotlin.error("Not String")
+    }
+    println(<caret>p.size)
+}