From 3636046e2dd71cc5306f5c3d8d21de49b0b5f162 Mon Sep 17 00:00:00 2001
From: "victor.petukhov" <victor.petukhov@jetbrains.com>
Date: Thu, 25 Apr 2019 17:20:53 +0300
Subject: [PATCH] [FIR] Add test with potential recursive call in compiler FE
 on when with sealed class inside it (KT-18583)

---
 .../recursiveCallOnWhenWithSealedClass.kt     | 11 +++++
 .../recursiveCallOnWhenWithSealedClass.txt    | 42 +++++++++++++++++++
 .../fir/FirResolveTestCaseGenerated.java      |  5 +++
 3 files changed, 58 insertions(+)
 create mode 100644 compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.kt
 create mode 100644 compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.txt

diff --git a/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.kt b/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.kt
new file mode 100644
index 00000000000..cd9b9c385c7
--- /dev/null
+++ b/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.kt
@@ -0,0 +1,11 @@
+// Issue: KT-18583
+
+sealed class Maybe<T> {
+    class Nope<T>(val reasonForLog: String, val reasonForUI: String) : Maybe<T>()
+    class Yeah<T>(val meat: T) : Maybe<T>()
+
+    fun unwrap() = when (this) {
+        is Nope -> throw Exception("")
+        is Yeah -> meat
+    }
+}
diff --git a/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.txt b/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.txt
new file mode 100644
index 00000000000..cf6d21937da
--- /dev/null
+++ b/compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.txt
@@ -0,0 +1,42 @@
+FILE: recursiveCallOnWhenWithSealedClass.kt
+    public sealed class Maybe<T> : R|kotlin/Any| {
+        private constructor<T>(): R|Maybe<T>| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final class Nope<T> : R|Maybe<T>| {
+            public constructor<T>(reasonForLog: R|kotlin/String|, reasonForUI: R|kotlin/String|): R|Maybe.Nope<T>| {
+                super<R|Maybe<T>|>()
+            }
+
+            public final val reasonForLog: R|kotlin/String| = R|<local>/reasonForLog|
+                public get(): R|kotlin/String|
+
+            public final val reasonForUI: R|kotlin/String| = R|<local>/reasonForUI|
+                public get(): R|kotlin/String|
+
+        }
+
+        public final class Yeah<T> : R|Maybe<T>| {
+            public constructor<T>(meat: R|T|): R|Maybe.Yeah<T>| {
+                super<R|Maybe<T>|>()
+            }
+
+            public final val meat: R|T| = R|<local>/meat|
+                public get(): R|T|
+
+        }
+
+        public final fun unwrap(): R|class error: Unresolved name: meat| {
+            ^unwrap when (this#) {
+                ($subj$ is R|Maybe.Nope|) ->  {
+                    throw R|java/lang/Exception.Exception|(String())
+                }
+                ($subj$ is R|Maybe.Yeah|) ->  {
+                    <Unresolved name: meat>#
+                }
+            }
+
+        }
+
+    }
diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirResolveTestCaseGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirResolveTestCaseGenerated.java
index 1a5d76ee282..2051329cfb7 100644
--- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirResolveTestCaseGenerated.java
+++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirResolveTestCaseGenerated.java
@@ -94,6 +94,11 @@ public class FirResolveTestCaseGenerated extends AbstractFirResolveTestCase {
         runTest("compiler/fir/resolve/testData/resolve/NestedSuperType.kt");
     }
 
+    @TestMetadata("recursiveCallOnWhenWithSealedClass.kt")
+    public void testRecursiveCallOnWhenWithSealedClass() throws Exception {
+        runTest("compiler/fir/resolve/testData/resolve/recursiveCallOnWhenWithSealedClass.kt");
+    }
+
     @TestMetadata("simpleClass.kt")
     public void testSimpleClass() throws Exception {
         runTest("compiler/fir/resolve/testData/resolve/simpleClass.kt");