[FIR] add testcase for KT-62031

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java

@@ -248,6 +248,12 @@ public class DiagnosticCompilerTestFirTestdataTestGenerated extends AbstractDiag
             runTest("compiler/fir/analysis-tests/testData/resolve/flexibleCapturedType.kt");
         }
 
+        @Test
+        @TestMetadata("flexibleTypeRendering.kt")
+        public void testFlexibleTypeRendering() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt");
+        }
+
         @Test
         @TestMetadata("ft.kt")
         public void testFt() throws Exception {

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java

@@ -248,6 +248,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated
             runTest("compiler/fir/analysis-tests/testData/resolve/flexibleCapturedType.kt");
         }
 
+        @Test
+        @TestMetadata("flexibleTypeRendering.kt")
+        public void testFlexibleTypeRendering() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt");
+        }
+
         @Test
         @TestMetadata("ft.kt")
         public void testFt() throws Exception {

compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt

@@ -0,0 +1,10 @@
+// FILE: main.kt
+
+fun foo(p: AAA<String>, s: Int?) {
+    p.process(<!ARGUMENT_TYPE_MISMATCH("ft<Q & Any, Q?>; kotlin.Int?")!>s<!>)
+}
+
+// FILE: AAA.java
+public class AAA<P> {
+    public final <Q extends P> void process(Q q) {}
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeDiagnosticsTestGenerated.java

@@ -248,6 +248,12 @@ public class FirLightTreeDiagnosticsTestGenerated extends AbstractFirLightTreeDi
             runTest("compiler/fir/analysis-tests/testData/resolve/flexibleCapturedType.kt");
         }
 
+        @Test
+        @TestMetadata("flexibleTypeRendering.kt")
+        public void testFlexibleTypeRendering() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt");
+        }
+
         @Test
         @TestMetadata("ft.kt")
         public void testFt() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiDiagnosticTestGenerated.java

@@ -248,6 +248,12 @@ public class FirPsiDiagnosticTestGenerated extends AbstractFirPsiDiagnosticTest
             runTest("compiler/fir/analysis-tests/testData/resolve/flexibleCapturedType.kt");
         }
 
+        @Test
+        @TestMetadata("flexibleTypeRendering.kt")
+        public void testFlexibleTypeRendering() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt");
+        }
+
         @Test
         @TestMetadata("ft.kt")
         public void testFt() throws Exception {