From 21ede8b74550310708fc9edf8161d128cd9ace62 Mon Sep 17 00:00:00 2001
From: "simon.ogorodnik" <simon.ogorodnik@jetbrains.com>
Date: Thu, 9 Apr 2020 22:28:39 +0300
Subject: [PATCH] [FIR] Add test for inner class type parameter capturing

---
 .../testData/resolve/nested/innerTypes.kt     | 21 +++++++++++
 .../testData/resolve/nested/innerTypes.txt    | 37 +++++++++++++++++++
 .../fir/FirDiagnosticsTestGenerated.java      |  5 +++
 ...DiagnosticsWithLightTreeTestGenerated.java |  5 +++
 4 files changed, 68 insertions(+)
 create mode 100644 compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt
 create mode 100644 compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.txt

diff --git a/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt b/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt
new file mode 100644
index 00000000000..797f42d4a2e
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt
@@ -0,0 +1,21 @@
+class Outer<T> {
+    inner class Inner<K>
+}
+
+class Boxed<Q> {
+    fun substitute() = Outer<Q>().Inner<Int>()
+}
+
+fun accept(p: Outer<String>.Inner<Int>) {}
+
+val rr = Outer<String>().Inner<Int>()
+val rrq = Boxed<String>().substitute()
+
+fun check() {
+    <!INAPPLICABLE_CANDIDATE!>accept<!>(Outer<Int>().Inner<Int>()) // illegal
+    <!INAPPLICABLE_CANDIDATE!>accept<!>(Outer<String>().Inner<String>()) // illegal
+    accept(Outer<String>().Inner<Int>()) // ok
+
+    <!INAPPLICABLE_CANDIDATE!>accept<!>(Boxed<Int>().substitute()) // illegal
+    accept(Boxed<String>().substitute()) // ok
+}
\ No newline at end of file
diff --git a/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.txt b/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.txt
new file mode 100644
index 00000000000..829076c5c13
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.txt
@@ -0,0 +1,37 @@
+FILE: innerTypes.kt
+    public final class Outer<T> : R|kotlin/Any| {
+        public constructor<T>(): R|Outer<T>| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final inner class Inner<T, K> : R|kotlin/Any| {
+            public constructor<K>(): R|Outer.Inner<T, K>| {
+                super<R|kotlin/Any|>()
+            }
+
+        }
+
+    }
+    public final class Boxed<Q> : R|kotlin/Any| {
+        public constructor<Q>(): R|Boxed<Q>| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final fun substitute(): R|Outer.Inner<Q, kotlin/Int>| {
+            ^substitute R|/Outer.Outer|<R|Q|>().R|/Outer.Inner.Inner|<R|kotlin/Int|>()
+        }
+
+    }
+    public final fun accept(p: R|Outer.Inner<kotlin/String, kotlin/Int>|): R|kotlin/Unit| {
+    }
+    public final val rr: R|Outer.Inner<kotlin/String, kotlin/Int>| = R|/Outer.Outer|<R|kotlin/String|>().R|/Outer.Inner.Inner|<R|kotlin/Int|>()
+        public get(): R|Outer.Inner<kotlin/String, kotlin/Int>|
+    public final val rrq: R|Outer.Inner<kotlin/String, kotlin/Int>| = R|/Boxed.Boxed|<R|kotlin/String|>().R|FakeOverride</Boxed.substitute: R|Outer.Inner<kotlin/String, kotlin/Int>|>|()
+        public get(): R|Outer.Inner<kotlin/String, kotlin/Int>|
+    public final fun check(): R|kotlin/Unit| {
+        <Inapplicable(INAPPLICABLE): [/accept]>#(R|/Outer.Outer|<R|kotlin/Int|>().R|/Outer.Inner.Inner|<R|kotlin/Int|>())
+        <Inapplicable(INAPPLICABLE): [/accept]>#(R|/Outer.Outer|<R|kotlin/String|>().R|/Outer.Inner.Inner|<R|kotlin/String|>())
+        R|/accept|(R|/Outer.Outer|<R|kotlin/String|>().R|/Outer.Inner.Inner|<R|kotlin/Int|>())
+        <Inapplicable(INAPPLICABLE): [/accept]>#(R|/Boxed.Boxed|<R|kotlin/Int|>().R|FakeOverride</Boxed.substitute: R|Outer.Inner<kotlin/Int, kotlin/Int>|>|())
+        R|/accept|(R|/Boxed.Boxed|<R|kotlin/String|>().R|FakeOverride</Boxed.substitute: R|Outer.Inner<kotlin/String, kotlin/Int>|>|())
+    }
diff --git a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
index de6184350ae..c40884f1de5 100644
--- a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
@@ -1495,6 +1495,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
             runTest("compiler/fir/analysis-tests/testData/resolve/nested/inner.kt");
         }
 
+        @TestMetadata("innerTypes.kt")
+        public void testInnerTypes() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolve/nested/simple.kt");
diff --git a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
index f0825c9ee42..209ca256894 100644
--- a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
@@ -1495,6 +1495,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
             runTest("compiler/fir/analysis-tests/testData/resolve/nested/inner.kt");
         }
 
+        @TestMetadata("innerTypes.kt")
+        public void testInnerTypes() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/nested/innerTypes.kt");
+        }
+
         @TestMetadata("simple.kt")
         public void testSimple() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolve/nested/simple.kt");