[FIR TEST] Add problematic test describing KT-36881

compiler/fir/resolve/testData/resolve/problems/typesInLocalFunctions.kt

@@ -0,0 +1,10 @@
+class Some
+
+fun foo(): () -> Boolean {
+    val s = Some()
+    if (true) {
+        return { if (s is Some) true else false }
+    } else {
+        return { true }
+    }
+}

compiler/fir/resolve/testData/resolve/problems/typesInLocalFunctions.txt

@@ -0,0 +1,33 @@
+FILE: typesInLocalFunctions.kt
+    public final class Some : R|kotlin/Any| {
+        public constructor(): R|Some| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public final fun foo(): R|() -> kotlin/Boolean| {
+        lval s: R|Some| = R|/Some.Some|()
+        when () {
+            Boolean(true) ->  {
+                ^foo fun <implicit>.<anonymous>(): <implicit> {
+                    when () {
+                        (s# is Some) ->  {
+                            Boolean(true)
+                        }
+                        else ->  {
+                            Boolean(false)
+                        }
+                    }
+
+                }
+
+            }
+            else ->  {
+                ^foo fun <implicit>.<anonymous>(): <implicit> {
+                    Boolean(true)
+                }
+
+            }
+        }
+
+    }

compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java

@@ -1303,6 +1303,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
         public void testJavaAccessorConversion() throws Exception {
             runTest("compiler/fir/resolve/testData/resolve/problems/javaAccessorConversion.kt");
         }
+
+        @TestMetadata("typesInLocalFunctions.kt")
+        public void testTypesInLocalFunctions() throws Exception {
+            runTest("compiler/fir/resolve/testData/resolve/problems/typesInLocalFunctions.kt");
+        }
     }
 
     @TestMetadata("compiler/fir/resolve/testData/resolve/references")

compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java

@@ -1303,6 +1303,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
         public void testJavaAccessorConversion() throws Exception {
             runTest("compiler/fir/resolve/testData/resolve/problems/javaAccessorConversion.kt");
         }
+
+        @TestMetadata("typesInLocalFunctions.kt")
+        public void testTypesInLocalFunctions() throws Exception {
+            runTest("compiler/fir/resolve/testData/resolve/problems/typesInLocalFunctions.kt");
+        }
     }
 
     @TestMetadata("compiler/fir/resolve/testData/resolve/references")