Remove TypeOfChecker for JVM frontend

This is needed to support typeOf with non-reified type parameters.

 #KT-30279

compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirOldFrontendDiagnosticsTestWithStdlibGenerated.java

@@ -2439,11 +2439,6 @@ public class FirOldFrontendDiagnosticsTestWithStdlibGenerated extends AbstractFi
         public void testNoReflectionInClassPath() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/noReflectionInClassPath.kt");
         }
-
-        @TestMetadata("typeOfWithNonReifiedParameter.kt")
-        public void testTypeOfWithNonReifiedParameter() throws Exception {
-            runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/typeOfWithNonReifiedParameter.kt");
-        }
     }
 
     @TestMetadata("compiler/testData/diagnostics/testsWithStdLib/regression")

compiler/frontend/src/org/jetbrains/kotlin/resolve/PlatformConfiguratorBase.kt

@@ -48,7 +48,7 @@ private val DEFAULT_CALL_CHECKERS = listOf(
     UnderscoreUsageChecker, AssigningNamedArgumentToVarargChecker(), ImplicitNothingAsTypeParameterCallChecker,
     PrimitiveNumericComparisonCallChecker, LambdaWithSuspendModifierCallChecker,
     UselessElvisCallChecker(), ResultTypeWithNullableOperatorsChecker(), NullableVarargArgumentCallChecker,
-    NamedFunAsExpressionChecker, ContractNotAllowedCallChecker, ReifiedTypeParameterSubstitutionChecker(), TypeOfChecker,
+    NamedFunAsExpressionChecker, ContractNotAllowedCallChecker, ReifiedTypeParameterSubstitutionChecker(),
     MissingDependencySupertypeChecker.ForCalls, AbstractClassInstantiationChecker,
 )
 private val DEFAULT_TYPE_CHECKERS = emptyList<AdditionalTypeChecker>()

compiler/testData/diagnostics/testsWithStdLib/reflection/typeOfWithNonReifiedParameter.fir.kt

@@ -1,35 +0,0 @@
-// !USE_EXPERIMENTAL: kotlin.ExperimentalStdlibApi
-// !LANGUAGE: +ProhibitNonReifiedArraysAsReifiedTypeArguments
-
-import kotlin.reflect.typeOf
-
-inline fun <X, reified Y, Z : Y> test1() {
-    typeOf<X>()
-    typeOf<List<X>>()
-    typeOf<Array<X?>>()
-
-    typeOf<Y>()
-
-    typeOf<Z>()
-    typeOf<List<Z>?>()
-    typeOf<Array<Z>>()
-}
-
-
-class Test2<W> {
-    fun test2() {
-        typeOf<W>()
-        typeOf<List<W?>>()
-        typeOf<Array<W>>()
-    }
-}
-
-
-inline fun <reified U> f() {
-    typeOf<U>()
-}
-
-fun <T> test3() {
-    // We don't report anything here because we can't know in frontend how the corresponding type parameter is used in f
-    f<List<T>>()
-}

compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithJsStdLibGenerated.java

@@ -1074,5 +1074,10 @@ public class DiagnosticsTestWithJsStdLibGenerated extends AbstractDiagnosticsTes
         public void testReflectionApi() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithJsStdLib/reflection/reflectionApi.kt");
         }
+
+        @TestMetadata("typeOfWithNonReifiedParameter.kt")
+        public void testTypeOfWithNonReifiedParameter() throws Exception {
+            runTest("compiler/testData/diagnostics/testsWithJsStdLib/reflection/typeOfWithNonReifiedParameter.kt");
+        }
     }
 }

compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestWithStdLibGenerated.java

@@ -3454,11 +3454,6 @@ public class DiagnosticsTestWithStdLibGenerated extends AbstractDiagnosticsTestW
         public void testNoReflectionInClassPath() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/noReflectionInClassPath.kt");
         }
-
-        @TestMetadata("typeOfWithNonReifiedParameter.kt")
-        public void testTypeOfWithNonReifiedParameter() throws Exception {
-            runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/typeOfWithNonReifiedParameter.kt");
-        }
     }
 
     @TestMetadata("compiler/testData/diagnostics/testsWithStdLib/regression")

compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsTestWithStdLibUsingJavacGenerated.java

@@ -3454,11 +3454,6 @@ public class DiagnosticsTestWithStdLibUsingJavacGenerated extends AbstractDiagno
         public void testNoReflectionInClassPath() throws Exception {
             runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/noReflectionInClassPath.kt");
         }
-
-        @TestMetadata("typeOfWithNonReifiedParameter.kt")
-        public void testTypeOfWithNonReifiedParameter() throws Exception {
-            runTest("compiler/testData/diagnostics/testsWithStdLib/reflection/typeOfWithNonReifiedParameter.kt");
-        }
     }
 
     @TestMetadata("compiler/testData/diagnostics/testsWithStdLib/regression")

js/js.frontend/src/org/jetbrains/kotlin/js/resolve/JsPlatformConfigurator.kt

@@ -23,6 +23,7 @@ import org.jetbrains.kotlin.js.analyze.JsNativeDiagnosticSuppressor
 import org.jetbrains.kotlin.js.naming.NameSuggestion
 import org.jetbrains.kotlin.js.resolve.diagnostics.*
 import org.jetbrains.kotlin.resolve.PlatformConfiguratorBase
+import org.jetbrains.kotlin.resolve.calls.checkers.TypeOfChecker
 import org.jetbrains.kotlin.resolve.checkers.ExpectedActualDeclarationChecker
 import org.jetbrains.kotlin.resolve.deprecation.CoroutineCompatibilitySupport
 import org.jetbrains.kotlin.types.DynamicTypesAllowed
@@ -39,7 +40,8 @@ object JsPlatformConfigurator : PlatformConfiguratorBase(
         additionalCallCheckers = listOf(
                 JsModuleCallChecker,
                 JsDynamicCallChecker,
-                JsDefinedExternallyCallChecker
+                JsDefinedExternallyCallChecker,
+                TypeOfChecker,
         ),
         identifierChecker = JsIdentifierChecker
 ) {

native/frontend/src/org/jetbrains/kotlin/resolve/konan/platform/NativePlatformConfigurator.kt

@@ -10,7 +10,9 @@ import org.jetbrains.kotlin.container.useImpl
 import org.jetbrains.kotlin.container.useInstance
 import org.jetbrains.kotlin.descriptors.CallableMemberDescriptor
 import org.jetbrains.kotlin.psi.KtCallableDeclaration
-import org.jetbrains.kotlin.resolve.*
+import org.jetbrains.kotlin.resolve.BindingContext
+import org.jetbrains.kotlin.resolve.PlatformConfiguratorBase
+import org.jetbrains.kotlin.resolve.calls.checkers.TypeOfChecker
 import org.jetbrains.kotlin.resolve.checkers.ExpectedActualDeclarationChecker
 import org.jetbrains.kotlin.resolve.inline.ReasonableInlineRule
 import org.jetbrains.kotlin.resolve.jvm.checkers.SuperCallWithDefaultArgumentsChecker
@@ -20,7 +22,10 @@ import org.jetbrains.kotlin.resolve.konan.diagnostics.NativeThrowsChecker
 import org.jetbrains.kotlin.resolve.konan.diagnostics.NativeTopLevelSingletonChecker
 
 object NativePlatformConfigurator : PlatformConfiguratorBase(
-    additionalCallCheckers = listOf(SuperCallWithDefaultArgumentsChecker()),
+    additionalCallCheckers = listOf(
+        SuperCallWithDefaultArgumentsChecker(),
+        TypeOfChecker,
+    ),
     additionalDeclarationCheckers = listOf(
         NativeThrowsChecker, NativeSharedImmutableChecker,
         NativeTopLevelSingletonChecker, NativeThreadLocalChecker
@@ -42,4 +47,4 @@ object NativeInliningRule : ReasonableInlineRule {
         declaration: KtCallableDeclaration,
         context: BindingContext
     ): Boolean = true
-}
+}