Partial body resolve: found group of cases incorrectly handled by the current implementation

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired1.dump

@@ -0,0 +1,2 @@
+Resolve target: value-parameter val x: kotlin.Any?
+Skipped statements:

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired1.kt.todo

@@ -0,0 +1,15 @@
+fun foo(x: Any?, p: Int) {
+    if (p > 0) {
+        val x = f()
+        print(x!!)
+    }
+    else {
+        val x = g()
+        print(x!!)
+    }
+
+    <caret>x.hashCode()
+}
+
+fun f(): Any? = null
+fun g(): Any? = null

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired2.dump

@@ -0,0 +1,2 @@
+Resolve target: value-parameter val x: kotlin.Any?
+Skipped statements:

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired2.kt.todo

@@ -0,0 +1,10 @@
+fun foo(x: Any?) {
+    if (x == null) {
+        val error = f()
+        error("error")
+    }
+
+    <caret>x.hashCode()
+}
+
+fun f(): (String) -> Unit = {}