[FIR2IR] Add problematic test with in/out clash during approximation

compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java

@@ -1746,6 +1746,11 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
         public void testPutIfAbsent() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/putIfAbsent.kt");
         }
+
+        @TestMetadata("V8ArrayToList.kt")
+        public void testV8ArrayToList() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/V8ArrayToList.kt");
+        }
     }
 
     @TestMetadata("compiler/testData/ir/irText/lambdas")

compiler/testData/ir/irText/firProblems/V8ArrayToList.kt

@@ -0,0 +1,21 @@
+// FILE: Utils.java
+
+import java.util.*;
+
+public class Utils {
+    public static List<? super Object> toList(final V8Array array) {
+        List<? super Object> list = new ArrayList<Object>();
+        list.add("OK");
+        return list;
+    }
+}
+
+// FILE: v8arrayToList.kt
+
+class V8Array
+
+fun box(): String {
+    val array = V8Array()
+    val list = Utils.toList(array) as List<String>
+    return list[0]
+}

compiler/testData/ir/irText/firProblems/v8arrayToList.fir.txt

@@ -0,0 +1,32 @@
+FILE fqName:<root> fileName:/v8arrayToList.kt
+  CLASS CLASS name:V8Array modality:FINAL visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.V8Array
+    CONSTRUCTOR visibility:public <> () returnType:<root>.V8Array [primary]
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:V8Array modality:FINAL visibility:public superTypes:[kotlin.Any]'
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
+    BLOCK_BODY
+      VAR name:array type:<root>.V8Array [val]
+        CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.V8Array' type=<root>.V8Array origin=null
+      VAR name:list type:kotlin.collections.List<kotlin.String> [val]
+        TYPE_OP type=kotlin.collections.List<kotlin.String> origin=CAST typeOperand=kotlin.collections.List<kotlin.String>
+          CALL 'public open fun toList (array: <root>.V8Array?): kotlin.collections.List<in kotlin.Any?>? declared in <root>.Utils' type=IrErrorType origin=null
+            array: GET_VAR 'val array: <root>.V8Array [val] declared in <root>.box' type=<root>.V8Array origin=null
+      RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
+        CALL 'public abstract fun get (index: kotlin.Int): E of kotlin.collections.List [operator] declared in kotlin.collections.List' type=kotlin.String origin=null
+          $this: GET_VAR 'val list: kotlin.collections.List<kotlin.String> [val] declared in <root>.box' type=kotlin.collections.List<kotlin.String> origin=null
+          index: CONST Int type=kotlin.Int value=0

compiler/testData/ir/irText/firProblems/v8arrayToList.txt

@@ -0,0 +1,32 @@
+FILE fqName:<root> fileName:/v8arrayToList.kt
+  CLASS CLASS name:V8Array modality:FINAL visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.V8Array
+    CONSTRUCTOR visibility:public <> () returnType:<root>.V8Array [primary]
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:V8Array modality:FINAL visibility:public superTypes:[kotlin.Any]'
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
+    BLOCK_BODY
+      VAR name:array type:<root>.V8Array [val]
+        CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.V8Array' type=<root>.V8Array origin=null
+      VAR name:list type:kotlin.collections.List<kotlin.String> [val]
+        TYPE_OP type=kotlin.collections.List<kotlin.String> origin=CAST typeOperand=kotlin.collections.List<kotlin.String>
+          CALL 'public open fun toList (array: @[FlexibleNullability] <root>.V8Array?): @[FlexibleNullability] kotlin.collections.MutableList<in @[FlexibleNullability] kotlin.Any?>? declared in <root>.Utils' type=@[FlexibleNullability] kotlin.collections.MutableList<in @[FlexibleNullability] kotlin.Any?>? origin=null
+            array: GET_VAR 'val array: <root>.V8Array [val] declared in <root>.box' type=<root>.V8Array origin=null
+      RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
+        CALL 'public abstract fun get (index: kotlin.Int): E of kotlin.collections.List [operator] declared in kotlin.collections.List' type=kotlin.String origin=GET_ARRAY_ELEMENT
+          $this: GET_VAR 'val list: kotlin.collections.List<kotlin.String> [val] declared in <root>.box' type=kotlin.collections.List<kotlin.String> origin=null
+          index: CONST Int type=kotlin.Int value=0

compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java

@@ -1745,6 +1745,11 @@ public class IrTextTestCaseGenerated extends AbstractIrTextTestCase {
         public void testPutIfAbsent() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/putIfAbsent.kt");
         }
+
+        @TestMetadata("V8ArrayToList.kt")
+        public void testV8ArrayToList() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/V8ArrayToList.kt");
+        }
     }
 
     @TestMetadata("compiler/testData/ir/irText/lambdas")