FIR: Add test on raw type scope

^KT-49351 Related

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

@@ -17233,6 +17233,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/j+k/rawOverride.kt");
             }
 
+            @Test
+            @TestMetadata("rawTypeScope.kt")
+            public void testRawTypeScope() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/j+k/rawTypeScope.kt");
+            }
+
             @Test
             @TestMetadata("rawUpperBounds.kt")
             public void testRawUpperBounds() throws Exception {

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

@@ -17233,6 +17233,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/j+k/rawOverride.kt");
             }
 
+            @Test
+            @TestMetadata("rawTypeScope.kt")
+            public void testRawTypeScope() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/j+k/rawTypeScope.kt");
+            }
+
             @Test
             @TestMetadata("rawUpperBounds.kt")
             public void testRawUpperBounds() throws Exception {

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

@@ -17233,6 +17233,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/j+k/rawOverride.kt");
             }
 
+            @Test
+            @TestMetadata("rawTypeScope.kt")
+            public void testRawTypeScope() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/j+k/rawTypeScope.kt");
+            }
+
             @Test
             @TestMetadata("rawUpperBounds.kt")
             public void testRawUpperBounds() throws Exception {

compiler/testData/diagnostics/tests/j+k/rawTypeScope.fir.kt

@@ -0,0 +1,17 @@
+// SKIP_TXT
+// FILE: A.java
+
+public class A {
+    public static B getB() { return null; }
+}
+
+// FILE: B.java
+
+public class B<E> {
+    public void foo(java.util.Map<String, String> x) {}
+}
+
+// FILE: main.kt
+fun main(x: Map<Any, Any>) {
+    A.getB().foo(<!ARGUMENT_TYPE_MISMATCH!>x<!>) // OK in FE1.0 ( but probably shouldn't), ARGUMENT_TYPE_MISMATCH at FIR
+}

compiler/testData/diagnostics/tests/j+k/rawTypeScope.kt

@@ -0,0 +1,17 @@
+// SKIP_TXT
+// FILE: A.java
+
+public class A {
+    public static B getB() { return null; }
+}
+
+// FILE: B.java
+
+public class B<E> {
+    public void foo(java.util.Map<String, String> x) {}
+}
+
+// FILE: main.kt
+fun main(x: Map<Any, Any>) {
+    A.getB().foo(x) // OK in FE1.0 ( but probably shouldn't), ARGUMENT_TYPE_MISMATCH at FIR
+}

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

@@ -17239,6 +17239,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/j+k/rawOverride.kt");
             }
 
+            @Test
+            @TestMetadata("rawTypeScope.kt")
+            public void testRawTypeScope() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/j+k/rawTypeScope.kt");
+            }
+
             @Test
             @TestMetadata("rawUpperBounds.kt")
             public void testRawUpperBounds() throws Exception {