diff --git a/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.dump b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.dump
new file mode 100644
index 00000000000..36265829a14
--- /dev/null
+++ b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.dump
@@ -0,0 +1,8 @@
+Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+----------------------------------------------
+fun foo(p: String?) {
+    val lambda = { () -> throw Exception() }
+    if (p == null) { lambda() }
+
+    <caret>p.size
+}
diff --git a/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.kt.todo b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.kt.todo
new file mode 100644
index 00000000000..0941ccaff11
--- /dev/null
+++ b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.kt.todo
@@ -0,0 +1,8 @@
+fun foo(p: String?) {
+    val lambda = { () -> throw Exception() }
+    if (p == null) {
+        lambda()
+    }
+
+    <caret>p.size
+}
diff --git a/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.dump b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.dump
new file mode 100644
index 00000000000..c000f52e38c
--- /dev/null
+++ b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.dump
@@ -0,0 +1,9 @@
+Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+----------------------------------------------
+fun foo(p: String?, errorHandler: () -> Nothing) {
+    if (p == null) {
+        errorHandler()
+    }
+
+    <caret>p.size
+}
diff --git a/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.kt.todo b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.kt.todo
new file mode 100644
index 00000000000..6f65d861fa5
--- /dev/null
+++ b/idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.kt.todo
@@ -0,0 +1,7 @@
+fun foo(p: String?, errorHandler: () -> Nothing) {
+    if (p == null) {
+        errorHandler()
+    }
+
+    <caret>p.size
+}