From 69e1b8d4072cd83a46066561af82369b893466c7 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 23 Jul 2012 19:38:03 +0400
Subject: [PATCH] More test data for LR

---
 .../inference/regressions/kt1029.txt          |  9 ++++++++
 .../inference/regressions/kt1031.txt          |  9 ++++++++
 .../inference/regressions/kt1558.txt          |  7 +++++++
 .../inference/regressions/kt1944.txt          | 12 +++++++++++
 .../inference/regressions/kt2179.txt          | 12 +++++++++++
 .../inference/regressions/kt2294.txt          |  9 ++++++++
 .../inference/regressions/kt2320.txt          | 13 ++++++++++++
 .../inference/regressions/kt2324.txt          | 11 ++++++++++
 .../SenselessNullInWhen.txt                   |  7 +++++++
 .../override/AllPrivateFromSuperTypes.txt     | 18 ++++++++++++++++
 .../override/AllProtectedFromSupertypes.txt   | 18 ++++++++++++++++
 .../ProtectedAndPrivateFromSupertypes.txt     | 21 +++++++++++++++++++
 12 files changed, 146 insertions(+)
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1029.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1031.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1558.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1944.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2179.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2294.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2320.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2324.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/nullabilityAndAutoCasts/SenselessNullInWhen.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/override/AllPrivateFromSuperTypes.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/override/AllProtectedFromSupertypes.txt
 create mode 100644 compiler/testData/lazyResolve/diagnostics/override/ProtectedAndPrivateFromSupertypes.txt

diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1029.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1029.txt
new file mode 100644
index 00000000000..10075b87a47
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1029.txt
@@ -0,0 +1,9 @@
+namespace <root>
+
+// <namespace name="i">
+namespace i
+
+internal final fun a(): jet.Tuple0
+public final fun </*0*/ T : jet.Any?>from(/*0*/ yielder: jet.Function0<jet.Iterable<T>>): jet.Iterable<T>
+public final fun </*0*/ T : jet.Any?>jet.Iterable<T>.where(/*0*/ predicate: jet.Function1<T, jet.Boolean>): jet.Function0<jet.Iterable<T>>
+// </namespace name="i">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1031.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1031.txt
new file mode 100644
index 00000000000..d6e50340391
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1031.txt
@@ -0,0 +1,9 @@
+namespace <root>
+
+// <namespace name="i">
+namespace i
+
+internal final fun a(): jet.Tuple0
+public final fun </*0*/ TItem : jet.Any?, /*1*/ TResult : jet.Any?>select(/*0*/ yielder: jet.Function0<jet.Iterable<TItem>>, /*1*/ selector: jet.Function1<TItem, TResult>): jet.Function0<jet.Iterable<TResult>>
+public final fun </*0*/ TItem : jet.Any?>jet.Iterable<TItem>.where(/*0*/ predicate: jet.Function1<TItem, jet.Boolean>): jet.Function0<jet.Iterable<TItem>>
+// </namespace name="i">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1558.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1558.txt
new file mode 100644
index 00000000000..cc4c96b8e70
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1558.txt
@@ -0,0 +1,7 @@
+namespace <root>
+
+// <namespace name="j">
+namespace j
+
+internal final fun testArrays(/*0*/ ci: java.util.List<jet.Int?>, /*1*/ cii: java.util.List<jet.Int?>): jet.Tuple0
+// </namespace name="j">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1944.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1944.txt
new file mode 100644
index 00000000000..679a551affd
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt1944.txt
@@ -0,0 +1,12 @@
+namespace <root>
+
+// <namespace name="j">
+namespace j
+
+internal final class j.P : jet.Any {
+    public final /*constructor*/ fun <init>(): j.P
+    internal final fun foo(): jet.Tuple0
+    internal final var x: jet.Int private set
+}
+internal final fun </*0*/ T : jet.Any?>run(/*0*/ f: jet.Function0<T>): T
+// </namespace name="j">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2179.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2179.txt
new file mode 100644
index 00000000000..af4d5d2d1ad
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2179.txt
@@ -0,0 +1,12 @@
+namespace <root>
+
+// <namespace name="i">
+namespace i
+
+internal final val java.util.Collection<out jet.Any?>.size: jet.Int
+internal final fun </*0*/ T : jet.Any?>arrayList(/*0*/ vararg values: T /*jet.Array<T>*/): java.util.ArrayList<T>
+internal final fun </*0*/ T : jet.Any?, /*1*/ R : jet.Any?>java.util.Collection<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>>java.util.Collection<T>.mapTo(/*0*/ result: C, /*1*/ transform: jet.Function1<T, R>): C
+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="i">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2294.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2294.txt
new file mode 100644
index 00000000000..54abbabfb66
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2294.txt
@@ -0,0 +1,9 @@
+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>
+public final fun </*0*/ E : jet.Any?>foo(/*0*/ array: jet.Array<E>): jet.Array<E>
+public final fun test(): jet.Tuple0
+// </namespace name="a">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2320.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2320.txt
new file mode 100644
index 00000000000..a2c6daa97bf
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2320.txt
@@ -0,0 +1,13 @@
+namespace <root>
+
+// <namespace name="i">
+namespace i
+
+internal abstract trait i.Entry</*0*/ B : jet.Any?> : jet.Any {
+    internal abstract fun getValue(): B
+}
+internal abstract trait i.NotMap</*0*/ B : jet.Any?> : jet.Any {
+}
+internal final fun </*0*/ B : jet.Any?, /*1*/ C : jet.Any?>i.NotMap<B>.mapValuesOnly(/*0*/ f: jet.Function1<B, C>): i.NotMap<C>
+internal final fun </*0*/ V : jet.Any?, /*1*/ R : jet.Any?>i.NotMap<V>.mapValuesOriginal(/*0*/ ff: jet.Function1<i.Entry<V>, R>): i.NotMap<R>
+// </namespace name="i">
diff --git a/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2324.txt b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2324.txt
new file mode 100644
index 00000000000..7e2d2afeca9
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/inference/regressions/kt2324.txt
@@ -0,0 +1,11 @@
+namespace <root>
+
+// <namespace name="i">
+namespace i
+
+internal final fun </*0*/ T : jet.Any?>arrayList(/*0*/ vararg values: T /*jet.Array<T>*/): java.util.ArrayList<T>
+internal final fun assertEquals(/*0*/ expected: jet.Any?, /*1*/ actual: jet.Any?, /*2*/ message: jet.String = ?): jet.Tuple0
+internal final fun </*0*/ T : jet.Any?, /*1*/ K : jet.Any?>someFunction(/*0*/ list: java.util.List<T>, /*1*/ transform: jet.Function1<T, K>): java.util.List<K>
+internal final fun testSomeFunction(): 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="i">
diff --git a/compiler/testData/lazyResolve/diagnostics/nullabilityAndAutoCasts/SenselessNullInWhen.txt b/compiler/testData/lazyResolve/diagnostics/nullabilityAndAutoCasts/SenselessNullInWhen.txt
new file mode 100644
index 00000000000..7247d94fdd7
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/nullabilityAndAutoCasts/SenselessNullInWhen.txt
@@ -0,0 +1,7 @@
+namespace <root>
+
+// <namespace name="kt2457">
+namespace kt2457
+
+internal final fun foo(/*0*/ i: jet.Int): jet.Int
+// </namespace name="kt2457">
diff --git a/compiler/testData/lazyResolve/diagnostics/override/AllPrivateFromSuperTypes.txt b/compiler/testData/lazyResolve/diagnostics/override/AllPrivateFromSuperTypes.txt
new file mode 100644
index 00000000000..3f9a2e7febf
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/override/AllPrivateFromSuperTypes.txt
@@ -0,0 +1,18 @@
+namespace <root>
+
+// <namespace name="test">
+namespace test
+
+internal abstract trait test.A : jet.Any {
+    private open val a: jet.String
+}
+internal open class test.C : jet.Any {
+    public final /*constructor*/ fun <init>(): test.C
+    private final val a: jet.String
+}
+internal final class test.Subject : test.C, test.A {
+    public final /*constructor*/ fun <init>(): test.Subject
+    invisible_fake abstract override /*2*/ val a: jet.String private get
+    internal final val c: jet.String
+}
+// </namespace name="test">
diff --git a/compiler/testData/lazyResolve/diagnostics/override/AllProtectedFromSupertypes.txt b/compiler/testData/lazyResolve/diagnostics/override/AllProtectedFromSupertypes.txt
new file mode 100644
index 00000000000..f3aba8f3ae1
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/override/AllProtectedFromSupertypes.txt
@@ -0,0 +1,18 @@
+namespace <root>
+
+// <namespace name="test">
+namespace test
+
+internal abstract trait test.A : jet.Any {
+    protected abstract val a: jet.String
+}
+internal open class test.C : jet.Any {
+    public final /*constructor*/ fun <init>(): test.C
+    protected final val a: jet.String
+}
+internal final class test.Subject : test.C, test.A {
+    public final /*constructor*/ fun <init>(): test.Subject
+    protected final override /*2*/ val a: jet.String
+    internal final val c: jet.String
+}
+// </namespace name="test">
diff --git a/compiler/testData/lazyResolve/diagnostics/override/ProtectedAndPrivateFromSupertypes.txt b/compiler/testData/lazyResolve/diagnostics/override/ProtectedAndPrivateFromSupertypes.txt
new file mode 100644
index 00000000000..cb032b3c9b1
--- /dev/null
+++ b/compiler/testData/lazyResolve/diagnostics/override/ProtectedAndPrivateFromSupertypes.txt
@@ -0,0 +1,21 @@
+namespace <root>
+
+// <namespace name="test">
+namespace test
+
+internal abstract trait test.A : jet.Any {
+    protected abstract val a: jet.String
+}
+internal abstract trait test.B : jet.Any {
+    protected abstract val a: jet.String
+}
+internal open class test.C : jet.Any {
+    public final /*constructor*/ fun <init>(): test.C
+    private final val a: jet.String
+}
+internal final class test.Subject : test.C, test.A, test.B {
+    public final /*constructor*/ fun <init>(): test.Subject
+    private abstract override /*2*/ val a: jet.String
+    internal final val c: jet.String
+}
+// </namespace name="test">