Failing test for type inference

compiler/testData/diagnostics/tests/platformTypes/samConstructor.kt

@@ -0,0 +1,17 @@
+// FILE: p/J.java
+
+package p;
+
+public class J {
+    public static void c(java.util.Comparator<Integer> c) {}
+
+}
+
+// FILE: k.kt
+
+import java.util.*
+import p.*
+
+fun test() {
+    J.c(Comparator { a, b -> b - a })
+}

compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java

@@ -7755,6 +7755,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                 doTest(fileName);
             }
             
+            @TestMetadata("samConstructor.kt")
+            public void testSamConstructor() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/platformTypes/samConstructor.kt");
+                doTest(fileName);
+            }
+            
             @TestMetadata("compiler/testData/diagnostics/tests/platformTypes/commonSupertype")
             @TestDataPath("$PROJECT_ROOT")
             @RunWith(org.jetbrains.jet.JUnit3RunnerWithInners.class)