K2: reproduce KT-57889

compiler/testData/diagnostics/testsWithStdLib/builderInference/inferenceFromLambdaReturnStatement.fir.kt

@@ -0,0 +1,10 @@
+// ISSUE: KT-57889
+
+class SafeResult<S>
+
+inline fun <T> checkNotEdt(body: (SafeResult<T>) -> Nothing) {}
+
+private fun <V> getNonEdt(): SafeResult<V> {
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>checkNotEdt<!> { return it }
+    return SafeResult()
+}

compiler/testData/diagnostics/testsWithStdLib/builderInference/inferenceFromLambdaReturnStatement.kt

@@ -0,0 +1,10 @@
+// ISSUE: KT-57889
+
+class SafeResult<S>
+
+inline fun <T> checkNotEdt(body: (SafeResult<T>) -> Nothing) {}
+
+private fun <V> getNonEdt(): SafeResult<V> {
+    checkNotEdt { return it }
+    return SafeResult()
+}