K2: add test reproducing KT-63379

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

@@ -13921,6 +13921,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
             public void testSuspendFunInterfaceConversion() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/funInterface/suspendFunInterfaceConversion.kt");
             }
+
+            @Test
+            @TestMetadata("unitInContravariantPosition.kt")
+            public void testUnitInContravariantPosition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt");
+            }
         }
 
         @Nested

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

@@ -13921,6 +13921,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
             public void testSuspendFunInterfaceConversion() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/funInterface/suspendFunInterfaceConversion.kt");
             }
+
+            @Test
+            @TestMetadata("unitInContravariantPosition.kt")
+            public void testUnitInContravariantPosition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt");
+            }
         }
 
         @Nested

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

@@ -13915,6 +13915,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
             public void testSuspendFunInterfaceConversion() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/funInterface/suspendFunInterfaceConversion.kt");
             }
+
+            @Test
+            @TestMetadata("unitInContravariantPosition.kt")
+            public void testUnitInContravariantPosition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt");
+            }
         }
 
         @Nested

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

@@ -13921,6 +13921,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
             public void testSuspendFunInterfaceConversion() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/funInterface/suspendFunInterfaceConversion.kt");
             }
+
+            @Test
+            @TestMetadata("unitInContravariantPosition.kt")
+            public void testUnitInContravariantPosition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt");
+            }
         }
 
         @Nested

compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.fir.kt

@@ -0,0 +1,17 @@
+// ISSUE: KT-63379
+
+class TestDummyClass<T> {
+    fun testFun(t: T) {}
+}
+
+fun more(t: TestDummyClass<in CustomRunnable>) {
+    t.testFun <!ARGUMENT_TYPE_MISMATCH!>{ Unit }<!>
+    t.testFun(CustomRunnable { Unit })
+    t.testFun(object : CustomRunnable {
+        override fun run() {}
+    })
+}
+
+fun interface CustomRunnable {
+    fun run()
+}

compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt

@@ -0,0 +1,17 @@
+// ISSUE: KT-63379
+
+class TestDummyClass<T> {
+    fun testFun(t: T) {}
+}
+
+fun more(t: TestDummyClass<in CustomRunnable>) {
+    t.testFun { Unit }
+    t.testFun(CustomRunnable { Unit })
+    t.testFun(object : CustomRunnable {
+        override fun run() {}
+    })
+}
+
+fun interface CustomRunnable {
+    fun run()
+}

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

@@ -13921,6 +13921,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             public void testSuspendFunInterfaceConversion() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/funInterface/suspendFunInterfaceConversion.kt");
             }
+
+            @Test
+            @TestMetadata("unitInContravariantPosition.kt")
+            public void testUnitInContravariantPosition() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/funInterface/unitInContravariantPosition.kt");
+            }
         }
 
         @Nested