From 882016c22f0849fa09b041736ce3113c114135a0 Mon Sep 17 00:00:00 2001
From: Roman Artemev <roman.artemev@jetbrains.com>
Date: Mon, 27 Sep 2021 13:35:18 +0300
Subject: [PATCH] [IR] Add tests for KT-47342

---
 .../FirBlackBoxCodegenTestGenerated.java      | 12 ++++
 .../codegen/box/ir/recursiveGeneric.kt        | 72 +++++++++++++++++++
 .../codegen/box/ir/recursiveGeneric2.kt       | 68 ++++++++++++++++++
 .../codegen/BlackBoxCodegenTestGenerated.java | 12 ++++
 .../IrBlackBoxCodegenTestGenerated.java       | 12 ++++
 .../LightAnalysisModeTestGenerated.java       | 10 +++
 .../IrJsCodegenBoxES6TestGenerated.java       | 10 +++
 .../IrJsCodegenBoxTestGenerated.java          | 10 +++
 .../semantics/JsCodegenBoxTestGenerated.java  | 10 +++
 .../IrCodegenBoxWasmTestGenerated.java        | 10 +++
 10 files changed, 226 insertions(+)
 create mode 100644 compiler/testData/codegen/box/ir/recursiveGeneric.kt
 create mode 100644 compiler/testData/codegen/box/ir/recursiveGeneric2.kt

diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
index 373634a319e..ace3a482fb8 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
@@ -22864,6 +22864,18 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @Test
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @Test
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @Test
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
diff --git a/compiler/testData/codegen/box/ir/recursiveGeneric.kt b/compiler/testData/codegen/box/ir/recursiveGeneric.kt
new file mode 100644
index 00000000000..f06cfa564c1
--- /dev/null
+++ b/compiler/testData/codegen/box/ir/recursiveGeneric.kt
@@ -0,0 +1,72 @@
+// IGNORE_BACKEND: WASM
+
+open class B<T>
+
+open class BB<T>
+
+interface I<T>
+interface II<T> {
+    fun bar(): String = "OK"
+}
+
+class CC : I<CC>
+
+inline fun <T : I<T>> test0(a: Any): String = (a as? T != null).toString()[0].toString()
+
+class CCC : I<CCC>, II<CCC>, B<CCC>()
+
+inline fun <T> test1(a: Any): String where
+        T : I<T>,
+        T : II<T>,
+        T : B<T> {
+            return (a as? T != null).toString()[1].toString()
+        }
+
+class CCCC : I<CCCC>, II<CCCC>
+
+inline fun <T> test2(a: Any): String where
+        T : I<T>,
+        T : II<T> {
+    return (a as? T != null).toString()[2].toString()
+}
+
+open class BX<T1, T2>
+class CI : I<CI>
+class DB : BX<DB, CI>()
+class CIB : BX<CIB, CI>(), I<CIB>
+
+inline fun <TI: I<TI>, TC : BX<TC, TI>> test3(a: Any): String {
+    val s1 = (a as? TC != null).toString()[3].toString()
+    val s2 = (a as? TI != null).toString()[3].toString()
+    return return s1 + s2
+}
+
+// KT-47342
+
+object O : II<I<Any>>
+
+inline fun <T : I<T>> testKt(): II<T> = O as II<T>
+
+fun foo(a: Any): String = a.toString()
+
+fun box(): String {
+    var result = ""
+
+    result += foo(test0<CC>(Any()))
+    result += foo(test0<CC>(CC()))
+
+    result += foo(test1<CCC>(Any()))
+    result += foo(test1<CCC>(CCC()))
+
+    result += foo(test2<CCCC>(Any()))
+    result += foo(test2<CCCC>(CCCC()))
+
+    result += foo(test3<CI, DB>(Any()))
+    result += foo(test3<CI, DB>(CI()))
+    result += foo(test3<CI, DB>(DB()))
+    result += foo(test3<CI, DB>(CIB()))
+
+    if (result != "ftarlussseesee") return "FAIL: $result"
+
+    return foo(testKt<CC>().bar())
+}
\ No newline at end of file
diff --git a/compiler/testData/codegen/box/ir/recursiveGeneric2.kt b/compiler/testData/codegen/box/ir/recursiveGeneric2.kt
new file mode 100644
index 00000000000..49158cec97f
--- /dev/null
+++ b/compiler/testData/codegen/box/ir/recursiveGeneric2.kt
@@ -0,0 +1,68 @@
+// IGNORE_BACKEND: WASM
+
+interface A<T1, T2>
+interface B<T>
+interface C<T>
+
+class C1 : A<B<Any>, C<Any>>, B<Any>, C<Any>
+
+class CT1 : A<B<Any>, C<Any>>
+class CK1 : B<Any>
+class CL1 : C<Any>
+class CTK1 : A<B<Any>, C<Any>>, B<Any>
+class CTL1 : A<B<Any>, C<Any>>, C<Any>
+class CKL1 : B<Any>, C<Any>
+class CTKL1 : A<B<Any>, C<Any>>, B<Any>, C<Any>
+
+inline fun <Q: Any, T: A<K, L>, K: B<Q>, L: C<Q>> test1(a: Any): String {
+    val s1 = (a as? T != null).toString()[1].toString()
+    val s2 = (a as? K != null).toString()[1].toString()
+    val s3 = (a as? L != null).toString()[1].toString()
+    return s1 + s2 + s3
+}
+
+class C2 : A<C2, C2>, B<C2>, C<C2>
+
+class CT2 : A<B<CT2>, C<CT2>>
+class CK2 : B<CK2>
+class CL2 : C<CL2>
+class CTK2 : A<B<CTK2>, C<CTK2>>, B<CTK2>
+class CTL2 : A<B<CTL2>, C<CTL2>>, C<CTL2>
+class CKL2 : B<CKL2>, C<CKL2>
+class CTKL2 : A<B<CTKL2>, C<CTKL2>>, B<CTKL2>, C<CTKL2>
+
+inline fun <T: A<K, L>, K: B<T>, L: C<T>> test2(a: Any): String {
+    val s1 = (a as? T != null).toString()[2].toString()
+    val s2 = (a as? K != null).toString()[2].toString()
+    val s3 = (a as? L != null).toString()[2].toString()
+    return s1 + s2 + s3
+}
+
+fun box(): String {
+    var result = ""
+
+    result += test1<Any, C1, B<Any>, C<Any>>(Any())
+    result += test1<Any, C1, B<Any>, C<Any>>(CT1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CK1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CL1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CTK1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CTL1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CKL1())
+    result += test1<Any, C1, B<Any>, C<Any>>(CTKL1())
+
+    if (result != "aaaraaaraaarrrarararrrrr") return "FAIL1: $result"
+    result = ""
+
+    result += test2<C2, C2, C2>(Any())
+    result += test2<C2, C2, C2>(CT2())
+    result += test2<C2, C2, C2>(CK2())
+    result += test2<C2, C2, C2>(CL2())
+    result += test2<C2, C2, C2>(CTK2())
+    result += test2<C2, C2, C2>(CTL2())
+    result += test2<C2, C2, C2>(CKL2())
+    result += test2<C2, C2, C2>(CTKL2())
+
+    if (result != "lllulllullluuulululuuuuu") return "FAIL2: $result"
+
+    return "OK"
+}
\ No newline at end of file
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
index ea2249f8147..d7c9e822322 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BlackBoxCodegenTestGenerated.java
@@ -22732,6 +22732,18 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @Test
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @Test
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @Test
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
index f9f6b233b55..38469f1e011 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
@@ -22864,6 +22864,18 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @Test
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @Test
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @Test
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
diff --git a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
index f7df6efcfd9..03ea31e553b 100644
--- a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
+++ b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java
@@ -19049,6 +19049,16 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/testData/codegen/box/ir/simple.kt");
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java
index e957e8350b4..aa8c6d7015e 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/es6/semantics/IrJsCodegenBoxES6TestGenerated.java
@@ -16148,6 +16148,16 @@ public class IrJsCodegenBoxES6TestGenerated extends AbstractIrJsCodegenBoxES6Tes
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/testData/codegen/box/ir/simple.kt");
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java
index fc912f04864..547dcf7770a 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/ir/semantics/IrJsCodegenBoxTestGenerated.java
@@ -15554,6 +15554,16 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/testData/codegen/box/ir/simple.kt");
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java
index 543d5b5acff..26de84180bd 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/semantics/JsCodegenBoxTestGenerated.java
@@ -15584,6 +15584,16 @@ public class JsCodegenBoxTestGenerated extends AbstractJsCodegenBoxTest {
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/testData/codegen/box/ir/simple.kt");
diff --git a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java
index e93969e538a..c0a5906ed9c 100644
--- a/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java
+++ b/js/js.tests/tests-gen/org/jetbrains/kotlin/js/test/wasm/semantics/IrCodegenBoxWasmTestGenerated.java
@@ -10263,6 +10263,16 @@ public class IrCodegenBoxWasmTestGenerated extends AbstractIrCodegenBoxWasmTest
             runTest("compiler/testData/codegen/box/ir/objectClass.kt");
         }
 
+        @TestMetadata("recursiveGeneric.kt")
+        public void testRecursiveGeneric() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric.kt");
+        }
+
+        @TestMetadata("recursiveGeneric2.kt")
+        public void testRecursiveGeneric2() throws Exception {
+            runTest("compiler/testData/codegen/box/ir/recursiveGeneric2.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/testData/codegen/box/ir/simple.kt");