LR: Newly supported test data

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">

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">

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">

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">

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">

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">

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">

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">

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">

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">