From 4b77e9b83ae799afab79a888798b7e3978efe6c6 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Mon, 6 Aug 2012 18:18:16 +0400
Subject: [PATCH] tests for obsolete tasks  #KT-2445 fixed  #KT-2459 fixed

---
 .../diagnostics/tests/inference/regressions/kt2445.kt  | 10 ++++++++++
 .../diagnostics/tests/inference/regressions/kt2459.kt  | 10 ++++++++++
 .../jet/checkers/JetDiagnosticsTestGenerated.java      | 10 ++++++++++
 3 files changed, 30 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/inference/regressions/kt2445.kt
 create mode 100644 compiler/testData/diagnostics/tests/inference/regressions/kt2459.kt

diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt2445.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt2445.kt
new file mode 100644
index 00000000000..0c282506c9e
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/regressions/kt2445.kt
@@ -0,0 +1,10 @@
+//KT-2445 Calling method with function with generic parameter causes compile-time exception
+package a
+
+fun main(args: Array<String>) {
+    <!TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>test<!> {
+
+    }
+}
+
+fun test<R>(callback: (R) -> Unit):Unit = callback(null!!)
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt2459.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt2459.kt
new file mode 100644
index 00000000000..a61b5b804c9
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/regressions/kt2459.kt
@@ -0,0 +1,10 @@
+//KT-2459 Type inference error
+package b
+
+import java.util.*
+
+class B<T>(val x: List<T>)
+fun <T> f(x: T): B<T> = B(arrayList(x))
+
+// from standard library
+fun arrayList<T>(vararg <!UNUSED_PARAMETER!>values<!>: T) : ArrayList<T> {<!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
\ 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 5725ef88af0..e5f1d433c60 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -1380,6 +1380,16 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                     doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2324.kt");
                 }
                 
+                @TestMetadata("kt2445.kt")
+                public void testKt2445() throws Exception {
+                    doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2445.kt");
+                }
+                
+                @TestMetadata("kt2459.kt")
+                public void testKt2459() throws Exception {
+                    doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2459.kt");
+                }
+                
                 @TestMetadata("kt2484.kt")
                 public void testKt2484() throws Exception {
                     doTest("compiler/testData/diagnostics/tests/inference/regressions/kt2484.kt");