[FIR] Add tests for KT-65184 to confirm its proper work

#KT-65184 Fixed

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

@@ -351,6 +351,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
       runTest("compiler/testData/diagnostics/tests/differentNumericTypesFromSmartCast.kt");
     }
 
+    @Test
+    @TestMetadata("dnnAsSuperTypeTypeArgument.kt")
+    public void testDnnAsSuperTypeTypeArgument() {
+      runTest("compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt");
+    }
+
     @Test
     @TestMetadata("Dollar.kt")
     public void testDollar() {
@@ -855,6 +861,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
       runTest("compiler/testData/diagnostics/tests/kt60638.kt");
     }
 
+    @Test
+    @TestMetadata("kt65184.kt")
+    public void testKt65184() {
+      runTest("compiler/testData/diagnostics/tests/kt65184.kt");
+    }
+
     @Test
     @TestMetadata("LValueAssignment.kt")
     public void testLValueAssignment() {

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

@@ -351,6 +351,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
       runTest("compiler/testData/diagnostics/tests/differentNumericTypesFromSmartCast.kt");
     }
 
+    @Test
+    @TestMetadata("dnnAsSuperTypeTypeArgument.kt")
+    public void testDnnAsSuperTypeTypeArgument() {
+      runTest("compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt");
+    }
+
     @Test
     @TestMetadata("Dollar.kt")
     public void testDollar() {
@@ -855,6 +861,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
       runTest("compiler/testData/diagnostics/tests/kt60638.kt");
     }
 
+    @Test
+    @TestMetadata("kt65184.kt")
+    public void testKt65184() {
+      runTest("compiler/testData/diagnostics/tests/kt65184.kt");
+    }
+
     @Test
     @TestMetadata("LValueAssignment.kt")
     public void testLValueAssignment() {

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

@@ -351,6 +351,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
       runTest("compiler/testData/diagnostics/tests/differentNumericTypesFromSmartCast.kt");
     }
 
+    @Test
+    @TestMetadata("dnnAsSuperTypeTypeArgument.kt")
+    public void testDnnAsSuperTypeTypeArgument() {
+      runTest("compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt");
+    }
+
     @Test
     @TestMetadata("Dollar.kt")
     public void testDollar() {
@@ -855,6 +861,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
       runTest("compiler/testData/diagnostics/tests/kt60638.kt");
     }
 
+    @Test
+    @TestMetadata("kt65184.kt")
+    public void testKt65184() {
+      runTest("compiler/testData/diagnostics/tests/kt65184.kt");
+    }
+
     @Test
     @TestMetadata("LValueAssignment.kt")
     public void testLValueAssignment() {

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

@@ -351,6 +351,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
       runTest("compiler/testData/diagnostics/tests/differentNumericTypesFromSmartCast.kt");
     }
 
+    @Test
+    @TestMetadata("dnnAsSuperTypeTypeArgument.kt")
+    public void testDnnAsSuperTypeTypeArgument() {
+      runTest("compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt");
+    }
+
     @Test
     @TestMetadata("Dollar.kt")
     public void testDollar() {
@@ -855,6 +861,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
       runTest("compiler/testData/diagnostics/tests/kt60638.kt");
     }
 
+    @Test
+    @TestMetadata("kt65184.kt")
+    public void testKt65184() {
+      runTest("compiler/testData/diagnostics/tests/kt65184.kt");
+    }
+
     @Test
     @TestMetadata("LValueAssignment.kt")
     public void testLValueAssignment() {

compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt

@@ -0,0 +1,11 @@
+// FIR_IDENTICAL
+open class A<TA>
+
+class B<TB> : A<TB & Any>()
+
+fun accept(a: A<String>) {}
+
+fun test() {
+    val b = B<String?>()
+    accept(b)
+}

compiler/testData/diagnostics/tests/kt65184.fir.kt

@@ -0,0 +1,36 @@
+// FULL_JDK
+
+// FILE: A.java
+
+public class A<T> {
+
+}
+
+// FILE: B.java
+
+public class B<T> extends A<T> {
+
+}
+
+// FILE: box.kt
+
+import java.util.LinkedList
+import java.util.Queue
+
+fun bar(b: A<String>) {}
+
+fun func(p: A<B<String>>) {
+}
+
+class X {
+    fun bar(b: Queue<String>) {}
+}
+
+fun test(x : X) {
+    x.bar(<!ARGUMENT_TYPE_MISMATCH!>LinkedList<String?>()<!>)
+    bar(<!ARGUMENT_TYPE_MISMATCH!>B<String?>()<!>)
+    func(A<B<String>>())
+    func(<!ARGUMENT_TYPE_MISMATCH!>A<B<String?>>()<!>)
+    func(<!ARGUMENT_TYPE_MISMATCH!>A<B<String?>?>()<!>)
+    func(<!ARGUMENT_TYPE_MISMATCH!>A<B<String>?>()<!>)
+}

compiler/testData/diagnostics/tests/kt65184.kt

@@ -0,0 +1,36 @@
+// FULL_JDK
+
+// FILE: A.java
+
+public class A<T> {
+
+}
+
+// FILE: B.java
+
+public class B<T> extends A<T> {
+
+}
+
+// FILE: box.kt
+
+import java.util.LinkedList
+import java.util.Queue
+
+fun bar(b: A<String>) {}
+
+fun func(p: A<B<String>>) {
+}
+
+class X {
+    fun bar(b: Queue<String>) {}
+}
+
+fun test(x : X) {
+    x.bar(<!TYPE_MISMATCH!>LinkedList<String?>()<!>)
+    bar(<!TYPE_MISMATCH!>B<String?>()<!>)
+    func(A<B<String>>())
+    func(<!TYPE_MISMATCH!>A<B<String?>>()<!>)
+    func(<!TYPE_MISMATCH!>A<B<String?>?>()<!>)
+    func(<!TYPE_MISMATCH!>A<B<String>?>()<!>)
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -351,6 +351,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
       runTest("compiler/testData/diagnostics/tests/differentNumericTypesFromSmartCast.kt");
     }
 
+    @Test
+    @TestMetadata("dnnAsSuperTypeTypeArgument.kt")
+    public void testDnnAsSuperTypeTypeArgument() {
+      runTest("compiler/testData/diagnostics/tests/dnnAsSuperTypeTypeArgument.kt");
+    }
+
     @Test
     @TestMetadata("Dollar.kt")
     public void testDollar() {
@@ -855,6 +861,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
       runTest("compiler/testData/diagnostics/tests/kt60638.kt");
     }
 
+    @Test
+    @TestMetadata("kt65184.kt")
+    public void testKt65184() {
+      runTest("compiler/testData/diagnostics/tests/kt65184.kt");
+    }
+
     @Test
     @TestMetadata("LValueAssignment.kt")
     public void testLValueAssignment() {