From e3d2b013dafee051ff27cee3b4d432a34aa822f2 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Wed, 18 Jul 2012 14:44:52 +0400
Subject: [PATCH] added tests for specific type inference errors

---
 .../inference/conflictingSubstitutions.kt     | 19 +++++++++++++++++++
 .../inference/noInformationForParameter.kt    | 14 ++++++++++++++
 .../inference/typeConstructorMismatch.kt      | 13 +++++++++++++
 3 files changed, 46 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/inference/conflictingSubstitutions.kt
 create mode 100644 compiler/testData/diagnostics/tests/inference/noInformationForParameter.kt
 create mode 100644 compiler/testData/diagnostics/tests/inference/typeConstructorMismatch.kt

diff --git a/compiler/testData/diagnostics/tests/inference/conflictingSubstitutions.kt b/compiler/testData/diagnostics/tests/inference/conflictingSubstitutions.kt
new file mode 100644
index 00000000000..1c2d8a25779
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/conflictingSubstitutions.kt
@@ -0,0 +1,19 @@
+package conflictingSubstitutions
+//+JDK
+
+import java.util.*
+
+fun <R> elemAndList(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r
+fun <R> R.elemAndListWithReceiver(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r
+
+fun test() {
+    val <!UNUSED_VARIABLE!>s<!> = <!TYPE_INFERENCE_CONFLICTING_SUBSTITUTIONS!>elemAndList<!>(11, list("72"))
+
+    val <!UNUSED_VARIABLE!>u<!> = 11.<!TYPE_INFERENCE_CONFLICTING_SUBSTITUTIONS!>elemAndListWithReceiver<!>(4, list("7"))
+}
+
+fun list<T>(value: T) : ArrayList<T> {
+    val list = ArrayList<T>()
+    list.add(value)
+    return list
+}
diff --git a/compiler/testData/diagnostics/tests/inference/noInformationForParameter.kt b/compiler/testData/diagnostics/tests/inference/noInformationForParameter.kt
new file mode 100644
index 00000000000..af53ae4ba5e
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/noInformationForParameter.kt
@@ -0,0 +1,14 @@
+package noInformationForParameter
+//+JDK
+
+import java.util.*
+
+fun test() {
+    val <!UNUSED_VARIABLE!>n<!> = <!TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>newList<!>()
+
+    val <!UNUSED_VARIABLE!>n1<!> : List<String> = newList()
+}
+
+fun newList<S>() : ArrayList<S> {
+    return ArrayList<S>()
+}
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/inference/typeConstructorMismatch.kt b/compiler/testData/diagnostics/tests/inference/typeConstructorMismatch.kt
new file mode 100644
index 00000000000..1f672624e48
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/typeConstructorMismatch.kt
@@ -0,0 +1,13 @@
+package typeConstructorMismatch
+//+JDK
+
+import java.util.*
+
+fun test(set: Set<String>) {
+    <!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndList<!>("2", set)
+
+    "".<!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>elemAndListWithReceiver<!>("", set)
+}
+
+fun <R> elemAndList(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r
+fun <R> R.elemAndListWithReceiver(r: R, <!UNUSED_PARAMETER!>t<!>: List<R>): R = r