new inference: isValueCompatible check during reduce (IDEA-116548)

(cherry picked from commit 3d028a86a23efeba68187c5a43d822c7aeb388f3)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newLambda/IDEA116548.java

@@ -0,0 +1,15 @@
+import java.util.*;
+
+class Tmp
+{
+    interface Callable<V> {
+      V run() throws Exception;
+    }
+  
+    <T> List<T> foo(Callable<T> callable){ return null; }
+
+    void test()
+    {
+        List<String> list = foo(()->{ throw new Error(); } );  // IntelliJ error
+    }
+}