From 05ad0427107bec16664dcc3146221fb1dbdddba4 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 23 Jul 2012 17:17:49 +0400
Subject: [PATCH] LR: Newly supported test data

---
 .../diagnostics/inference/arrayConstructor.txt     |  7 +++++++
 .../inference/conflictingSubstitutions.txt         | 10 ++++++++++
 .../diagnostics/inference/dependOnExpectedType.txt | 14 ++++++++++++++
 .../inference/hasErrorInConstrainingTypes.txt      |  8 ++++++++
 .../inference/inferInFunctionLiterals.txt          |  9 +++++++++
 .../diagnostics/inference/listConstructor.txt      | 11 +++++++++++
 .../diagnostics/inference/mapFunction.txt          | 10 ++++++++++
 .../inference/noInformationForParameter.txt        |  8 ++++++++
 .../inference/typeConstructorMismatch.txt          |  9 +++++++++
 .../typeInferenceExpectedTypeMismatch.txt          |  8 ++++++++
 10 files changed, 94 insertions(+)
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/arrayConstructor.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/conflictingSubstitutions.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/dependOnExpectedType.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/hasErrorInConstrainingTypes.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/inferInFunctionLiterals.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/listConstructor.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/mapFunction.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/noInformationForParameter.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/typeConstructorMismatch.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/typeInferenceExpectedTypeMismatch.txt

diff --git a/compiler/testData/lazyResolve/diagnostics/inference/arrayConstructor.txt b/compiler/testData/lazyResolve/diagnostics/inference/arrayConstructor.txt
new file mode 100644
index 00000000000..4d60f5d34e7
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/arrayConstructor.txt
@@ -0,0 +1,7 @@
+namespace <root>
+
+// <namespace name="b">
+namespace b
+
+internal final fun bar(): jet.Tuple0
+// </namespace name="b">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/conflictingSubstitutions.txt b/compiler/testData/lazyResolve/diagnostics/inference/conflictingSubstitutions.txt
new file mode 100644
index 00000000000..6b6b9a37ca7
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/conflictingSubstitutions.txt
@@ -0,0 +1,10 @@
+namespace <root>
+
+// <namespace name="conflictingSubstitutions">
+namespace conflictingSubstitutions
+
+internal final fun </*0*/ R : jet.Any?>elemAndList(/*0*/ r: R, /*1*/ t: java.util.List<R>): R
+internal final fun </*0*/ R : jet.Any?>R.elemAndListWithReceiver(/*0*/ r: R, /*1*/ t: java.util.List<R>): R
+internal final fun </*0*/ T : jet.Any?>list(/*0*/ value: T): java.util.ArrayList<T>
+internal final fun test(): jet.Tuple0
+// </namespace name="conflictingSubstitutions">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/dependOnExpectedType.txt b/compiler/testData/lazyResolve/diagnostics/inference/dependOnExpectedType.txt
new file mode 100644
index 00000000000..a333ef63741
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/dependOnExpectedType.txt
@@ -0,0 +1,14 @@
+namespace <root>
+
+// <namespace name="h">
+namespace h
+
+internal final fun </*0*/ T : jet.Any?>both(/*0*/ t1: T, /*1*/ t2: T): T
+internal final fun </*0*/ R : jet.Any?>elem(/*0*/ t: java.util.List<R>): R
+internal final fun </*0*/ R : jet.Any?>elemAndList(/*0*/ r: R, /*1*/ t: java.util.List<R>): R
+internal final fun </*0*/ T : jet.Any?>id(/*0*/ t: T): T
+internal final fun </*0*/ T : jet.Any?>id1(/*0*/ t: T): T
+internal final fun </*0*/ T : jet.Any?>list(/*0*/ value: T): java.util.ArrayList<T>
+internal final fun </*0*/ S : jet.Any?>newList(): java.util.ArrayList<S>
+internal final fun test1(): jet.Tuple0
+// </namespace name="h">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/hasErrorInConstrainingTypes.txt b/compiler/testData/lazyResolve/diagnostics/inference/hasErrorInConstrainingTypes.txt
new file mode 100644
index 00000000000..7a1aaffc491
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/hasErrorInConstrainingTypes.txt
@@ -0,0 +1,8 @@
+namespace <root>
+
+// <namespace name="n">
+namespace n
+
+internal final fun </*0*/ T : jet.Any?>foo(/*0*/ t: T, /*1*/ t1: T): jet.Tuple0
+internal final fun test(): jet.Tuple0
+// </namespace name="n">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/inferInFunctionLiterals.txt b/compiler/testData/lazyResolve/diagnostics/inference/inferInFunctionLiterals.txt
new file mode 100644
index 00000000000..bfecfa2486f
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/inferInFunctionLiterals.txt
@@ -0,0 +1,9 @@
+namespace <root>
+
+// <namespace name="n">
+namespace n
+
+internal final fun </*0*/ T : jet.Any?>expected(/*0*/ t: T, /*1*/ f: jet.Function0<T>): T
+internal final fun </*0*/ T : jet.Any?>java.util.List<T>.reverse(): java.util.List<T>
+internal final fun test(/*0*/ arrayList: java.util.ArrayList<jet.Int>, /*1*/ list: java.util.List<jet.Int>): jet.Tuple0
+// </namespace name="n">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/listConstructor.txt b/compiler/testData/lazyResolve/diagnostics/inference/listConstructor.txt
new file mode 100644
index 00000000000..c6304699af6
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/listConstructor.txt
@@ -0,0 +1,11 @@
+namespace <root>
+
+// <namespace name="a">
+namespace a
+
+internal final fun </*0*/ T : jet.Any?>arrayList(/*0*/ vararg values: T /*jet.Array<T>*/): java.util.ArrayList<T>
+internal final fun </*0*/ A : jet.Any?>cons(/*0*/ x: A, /*1*/ xs: java.util.List<A>): java.util.List<A>
+internal final fun </*0*/ B : jet.Any?>nil(): java.util.List<B>
+internal final fun test(): jet.Tuple0
+internal final fun </*0*/ in T : jet.Any?, /*1*/ C : java.util.Collection<in T>>jet.Array<T>.toCollection(/*0*/ result: C): C
+// </namespace name="a">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/mapFunction.txt b/compiler/testData/lazyResolve/diagnostics/inference/mapFunction.txt
new file mode 100644
index 00000000000..d3651603969
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/mapFunction.txt
@@ -0,0 +1,10 @@
+namespace <root>
+
+// <namespace name="a">
+namespace a
+
+internal final fun </*0*/ T : jet.Any?>array(/*0*/ vararg t: T /*jet.Array<T>*/): jet.Array<T>
+internal final fun foo(): jet.Tuple0
+internal final fun </*0*/ T : jet.Any?, /*1*/ R : jet.Any?>jet.Array<T>.map(/*0*/ transform: jet.Function1<T, R>): java.util.List<R>
+internal final fun </*0*/ T : jet.Any?, /*1*/ R : jet.Any?, /*2*/ C : java.util.Collection<in R>>jet.Array<T>.mapTo(/*0*/ result: C, /*1*/ transform: jet.Function1<T, R>): C
+// </namespace name="a">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/noInformationForParameter.txt b/compiler/testData/lazyResolve/diagnostics/inference/noInformationForParameter.txt
new file mode 100644
index 00000000000..66ce475d6e2
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/noInformationForParameter.txt
@@ -0,0 +1,8 @@
+namespace <root>
+
+// <namespace name="noInformationForParameter">
+namespace noInformationForParameter
+
+internal final fun </*0*/ S : jet.Any?>newList(): java.util.ArrayList<S>
+internal final fun test(): jet.Tuple0
+// </namespace name="noInformationForParameter">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/typeConstructorMismatch.txt b/compiler/testData/lazyResolve/diagnostics/inference/typeConstructorMismatch.txt
new file mode 100644
index 00000000000..b46ef39a726
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/typeConstructorMismatch.txt
@@ -0,0 +1,9 @@
+namespace <root>
+
+// <namespace name="typeConstructorMismatch">
+namespace typeConstructorMismatch
+
+internal final fun </*0*/ R : jet.Any?>elemAndList(/*0*/ r: R, /*1*/ t: java.util.List<R>): R
+internal final fun </*0*/ R : jet.Any?>R.elemAndListWithReceiver(/*0*/ r: R, /*1*/ t: java.util.List<R>): R
+internal final fun test(/*0*/ set: java.util.Set<jet.String>): jet.Tuple0
+// </namespace name="typeConstructorMismatch">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/typeInferenceExpectedTypeMismatch.txt b/compiler/testData/lazyResolve/diagnostics/inference/typeInferenceExpectedTypeMismatch.txt
new file mode 100644
index 00000000000..435d562bf65
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/typeInferenceExpectedTypeMismatch.txt
@@ -0,0 +1,8 @@
+namespace <root>
+
+// <namespace name="typeInferenceExpectedTypeMismatch">
+namespace typeInferenceExpectedTypeMismatch
+
+internal final fun </*0*/ S : jet.Any?>newList(): java.util.ArrayList<S>
+internal final fun test(): jet.Tuple0
+// </namespace name="typeInferenceExpectedTypeMismatch">