diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt2741.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt2741.kt new file mode 100644 index 00000000000..c1539c9b4c4 --- /dev/null +++ b/compiler/testData/diagnostics/tests/inference/regressions/kt2741.kt @@ -0,0 +1,11 @@ +//KT-2741 Compiler can't infer a type of a function literal parameter when its body contains errors +package a + +fun > Iterable._sortBy(f: (T) -> R): List = throw Exception() +fun _arrayList(vararg values: T) : List = throw Exception() + +class _Pair(val a: A) + +fun test() { + _arrayList(_Pair(1))._sortBy { it -> xxx } +} \ No newline at end of file diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java index 20b063a78f9..b43fb17981b 100644 --- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java +++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java @@ -2197,6 +2197,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2514.kt"); } + @TestMetadata("kt2741.kt") + public void testKt2741() throws Exception { + doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2741.kt"); + } + @TestMetadata("kt2838.kt") public void testKt2838() throws Exception { doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2838.kt");