Add test for KT-37056 (already fixed)

2021-02-20 11:33:09 +03:00
parent 6e46b0a1c4
commit 5568ceef68
5 changed files with 107 additions and 0 deletions
@@ -0,0 +1,58 @@
+FILE: kt37056.kt
+    public final fun case1(a: R|A?|): R|kotlin/Unit| {
+        lval test: R|kotlin/String?| = R|<local>/a|?.{ $subj$.R|kotlin/let|<R|A|, R|kotlin/String|>(<L> = let@fun <anonymous>(it: R|A|): R|kotlin/String| <kind=EXACTLY_ONCE>  {
+            Q|Case1|.R|/Case1.Companion.invoke|(R|<local>/it|)
+            Q|Case1|.R|/Case1.Companion.invoke|(R|<local>/it|)
+            ^ Q|Case1|.R|/Case1.Companion.invoke|(R|/A.A|())
+        }
+        ) }
+        Q|Case1|.R|/Case1.Companion.invoke|(R|/A.A|())
+        Q|Case1|.R|/Case1.Companion.invoke|(a = R|/A.A|())
+    }
+    public final class Case1 : R|kotlin/Any| {
+        private constructor(a: R|A|): R|Case1| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final val a: R|A| = R|<local>/a|
+            public get(): R|A|
+
+        public final companion object Companion : R|kotlin/Any| {
+            private constructor(): R|Case1.Companion| {
+                super<R|kotlin/Any|>()
+            }
+
+            public final operator fun invoke(a: R|A|): R|kotlin/String| {
+                ^invoke String()
+            }
+
+        }
+
+    }
+    public final fun case2(a: R|A|): R|kotlin/Unit| {
+        Q|Case2|.R|/Case2.Companion.invoke|(R|<local>/a|)
+        Q|Case2|.R|/Case2.Companion.invoke|(a = R|<local>/a|)
+    }
+    public final class Case2 : R|kotlin/Any| {
+        public constructor(): R|Case2| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final companion object Companion : R|kotlin/Any| {
+            private constructor(): R|Case2.Companion| {
+                super<R|kotlin/Any|>()
+            }
+
+            public final operator fun invoke(a: R|A|): R|kotlin/String| {
+                ^invoke String()
+            }
+
+        }
+
+    }
+    public final class A : R|kotlin/Any| {
+        public constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+    }