From e2252f5e6b648cb20fdab563d5fa9a1b65fa189b Mon Sep 17 00:00:00 2001
From: Ilya Kirillov <ilya.kirillov@jetbrains.com>
Date: Thu, 21 Sep 2023 21:24:02 +0200
Subject: [PATCH] [FIR] add testcase for KT-62031

---
 ...DiagnosticCompilerTestFirTestdataTestGenerated.java |  6 ++++++
 ...rsedDiagnosticCompilerFirTestDataTestGenerated.java |  6 ++++++
 .../testData/resolve/flexibleTypeRendering.kt          | 10 ++++++++++
 .../runners/FirLightTreeDiagnosticsTestGenerated.java  |  6 ++++++
 .../test/runners/FirPsiDiagnosticTestGenerated.java    |  6 ++++++
 5 files changed, 34 insertions(+)
 create mode 100644 compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt

diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java
index be1518af4e6..0482b4d5966 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java
+++ b/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 {
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java
index d36d0dec6be..b04b442df9b 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java
+++ b/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 {
diff --git a/compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt b/compiler/fir/analysis-tests/testData/resolve/flexibleTypeRendering.kt
new file mode 100644
index 00000000000..e43e6d5e4be
--- /dev/null
+++ b/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) {}
+}
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeDiagnosticsTestGenerated.java
index 0ab565c789b..02831d0ea81 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeDiagnosticsTestGenerated.java
+++ b/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 {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiDiagnosticTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiDiagnosticTestGenerated.java
index 9d6cb026519..87a1b223b19 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiDiagnosticTestGenerated.java
+++ b/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 {