From 3848be596ecd53042bc426d54677527637dcc13c Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <Mikhail.Glukhikh@jetbrains.com>
Date: Mon, 12 Sep 2022 16:45:28 +0200
Subject: [PATCH] Add test for KT-53343

---
 .../DiagnosisCompilerFirTestdataTestGenerated.java  |  6 ++++++
 .../problems/argumentTypeMismatch.fir.txt           |  4 ++++
 .../problems/argumentTypeMismatch.kt                | 13 +++++++++++++
 .../test/runners/FirDiagnosticTestGenerated.java    |  6 ++++++
 .../FirDiagnosticsWithLightTreeTestGenerated.java   |  6 ++++++
 5 files changed, 35 insertions(+)
 create mode 100644 compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.fir.txt
 create mode 100644 compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt

diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
index b029f3ba2a3..55d09dc5e2e 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerFirTestdataTestGenerated.java
@@ -6007,6 +6007,12 @@ public class DiagnosisCompilerFirTestdataTestGenerated extends AbstractDiagnosis
                 KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
             }
 
+            @Test
+            @TestMetadata("argumentTypeMismatch.kt")
+            public void testArgumentTypeMismatch() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt");
+            }
+
             @Test
             @TestMetadata("capturedTypeInEquality.kt")
             public void testCapturedTypeInEquality() throws Exception {
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.fir.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.fir.txt
new file mode 100644
index 00000000000..70ca74d2ee4
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.fir.txt
@@ -0,0 +1,4 @@
+FILE: test.kt
+    public final fun main(): R|kotlin/Unit| {
+        Q|Sample|.<Inapplicable(INAPPLICABLE): /Sample.foo>#(String(123))
+    }
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt
new file mode 100644
index 00000000000..696f1c6b14f
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt
@@ -0,0 +1,13 @@
+// FILE: Sample.java
+
+import java.util.List;
+
+public class Sample {
+    public static void foo(List<List<String>> listOfLists) {}
+}
+
+// FILE: test.kt
+
+fun main() {
+    Sample.foo(<!ARGUMENT_TYPE_MISMATCH("ft<kotlin/collections/MutableList<ft<kotlin/collections/MutableList<kotlin/String!>, kotlin/collections/List<kotlin/String!>?>>, kotlin/collections/List<ft<kotlin/collections/MutableList<kotlin/String!>, kotlin/collections/List<kotlin/String!>?>>?>; kotlin/String")!>"123"<!>)
+}
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
index 1577722177b..7e3b5ae0b84 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
@@ -6007,6 +6007,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                 KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
             }
 
+            @Test
+            @TestMetadata("argumentTypeMismatch.kt")
+            public void testArgumentTypeMismatch() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt");
+            }
+
             @Test
             @TestMetadata("capturedTypeInEquality.kt")
             public void testCapturedTypeInEquality() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
index 9fba6b1af2d..b9752132a10 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
@@ -6007,6 +6007,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                 KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
             }
 
+            @Test
+            @TestMetadata("argumentTypeMismatch.kt")
+            public void testArgumentTypeMismatch() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/argumentTypeMismatch.kt");
+            }
+
             @Test
             @TestMetadata("capturedTypeInEquality.kt")
             public void testCapturedTypeInEquality() throws Exception {