K1/K2: add test to confirm behavior of KT-63243

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

@@ -44902,6 +44902,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.kt");
             }
 
+            @Test
+            @TestMetadata("intersectionOfPrimitiveBasedFunctions.kt")
+            public void testIntersectionOfPrimitiveBasedFunctions() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt");
+            }
+
             @Test
             @TestMetadata("invalidFqName.kt")
             public void testInvalidFqName() throws Exception {

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

@@ -44902,6 +44902,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.kt");
             }
 
+            @Test
+            @TestMetadata("intersectionOfPrimitiveBasedFunctions.kt")
+            public void testIntersectionOfPrimitiveBasedFunctions() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt");
+            }
+
             @Test
             @TestMetadata("invalidFqName.kt")
             public void testInvalidFqName() throws Exception {

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

@@ -42762,6 +42762,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.kt");
             }
 
+            @Test
+            @TestMetadata("intersectionOfPrimitiveBasedFunctions.kt")
+            public void testIntersectionOfPrimitiveBasedFunctions() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt");
+            }
+
             @Test
             @TestMetadata("invalidFqName.kt")
             public void testInvalidFqName() throws Exception {

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

@@ -42882,6 +42882,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.kt");
             }
 
+            @Test
+            @TestMetadata("intersectionOfPrimitiveBasedFunctions.kt")
+            public void testIntersectionOfPrimitiveBasedFunctions() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt");
+            }
+
             @Test
             @TestMetadata("invalidFqName.kt")
             public void testInvalidFqName() throws Exception {

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.fir.kt

@@ -0,0 +1,17 @@
+// FULL_JDK
+// JVM_TARGET: 1.8
+// ISSUE: KT-63243
+
+abstract class MyMap<K : Any, V : Any> : AbstractMutableMap<K, V>()
+
+interface II {
+    fun replace(key: Int, value: Int): Int? = null
+}
+
+abstract <!MANY_IMPL_MEMBER_NOT_IMPLEMENTED!>class ZI<!> : MyMap<Int, Int>(), II
+
+interface IS {
+    fun replace(key: String, value: String): String? = null
+}
+
+abstract <!MANY_IMPL_MEMBER_NOT_IMPLEMENTED!>class ZS<!> : MyMap<String, String>(), IS

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt

@@ -0,0 +1,17 @@
+// FULL_JDK
+// JVM_TARGET: 1.8
+// ISSUE: KT-63243
+
+abstract class MyMap<K : Any, V : Any> : AbstractMutableMap<K, V>()
+
+interface II {
+    fun replace(key: Int, value: Int): Int? = null
+}
+
+abstract class ZI : MyMap<Int, Int>(), II
+
+interface IS {
+    fun replace(key: String, value: String): String? = null
+}
+
+abstract <!MANY_IMPL_MEMBER_NOT_IMPLEMENTED, MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>class ZS<!> : MyMap<String, String>(), IS

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

@@ -44960,6 +44960,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.kt");
             }
 
+            @Test
+            @TestMetadata("intersectionOfPrimitiveBasedFunctions.kt")
+            public void testIntersectionOfPrimitiveBasedFunctions() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/intersectionOfPrimitiveBasedFunctions.kt");
+            }
+
             @Test
             @TestMetadata("invalidFqName.kt")
             public void testInvalidFqName() throws Exception {