Support KClass.qualifiedName in stdlib-only reflection implementation

#KT-34586 Fixed

compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmReflectionAPICallChecker.kt

@@ -21,6 +21,7 @@ import org.jetbrains.kotlin.builtins.ReflectionTypes
 import org.jetbrains.kotlin.descriptors.ModuleDescriptor
 import org.jetbrains.kotlin.descriptors.findClassAcrossModuleDependencies
 import org.jetbrains.kotlin.load.java.JvmAbi
+import org.jetbrains.kotlin.name.Name
 import org.jetbrains.kotlin.resolve.calls.checkers.AbstractReflectionApiCallChecker
 import org.jetbrains.kotlin.resolve.calls.checkers.CallCheckerContext
 import org.jetbrains.kotlin.resolve.jvm.diagnostics.ErrorsJvm.NO_REFLECTION_IN_CLASS_PATH
@@ -36,6 +37,9 @@ class JvmReflectionAPICallChecker(
     reflectionTypes: ReflectionTypes,
     storageManager: StorageManager
 ) : AbstractReflectionApiCallChecker(reflectionTypes, storageManager) {
+    override fun isAllowedKClassMember(name: Name): Boolean =
+        super.isAllowedKClassMember(name) || name.asString() == "qualifiedName"
+
     override val isWholeReflectionApiAvailable by storageManager.createLazyValue {
         module.findClassAcrossModuleDependencies(JvmAbi.REFLECTION_FACTORY_IMPL) != null
     }

compiler/testData/codegen/box/reflection/classes/javaVoid.kt

@@ -14,6 +14,7 @@ fun box(): String {
     assertEquals(Void::class.java, Void.TYPE.kotlin.javaObjectType)
 
     assertEquals("Void", Void::class.simpleName)
+    assertEquals("java.lang.Void", Void::class.qualifiedName)
 
     return "OK"
 }

compiler/testData/codegen/box/reflection/classes/qualifiedName.kt

@@ -1,6 +1,5 @@
 // TARGET_BACKEND: JVM
-
-// WITH_REFLECT
+// WITH_RUNTIME
 
 package test
 
@@ -8,14 +7,19 @@ import kotlin.test.assertEquals
 
 class Klass {
     class Nested
+    class `Nested$With$Dollars`
     companion object
 }
 
 fun box(): String {
     assertEquals("test.Klass", Klass::class.qualifiedName)
     assertEquals("test.Klass.Nested", Klass.Nested::class.qualifiedName)
+    assertEquals("test.Klass.Nested\$With\$Dollars", Klass.`Nested$With$Dollars`::class.qualifiedName)
     assertEquals("test.Klass.Companion", Klass.Companion::class.qualifiedName)
 
+    assertEquals("java.util.Date", java.util.Date::class.qualifiedName)
+    assertEquals("kotlin.jvm.internal.Ref.ObjectRef", kotlin.jvm.internal.Ref.ObjectRef::class.qualifiedName)
+
     class Local
     assertEquals(null, Local::class.qualifiedName)
 

compiler/testData/codegen/box/reflection/classes/qualifiedNameOfStandardClasses.kt

@@ -1,25 +1,40 @@
 // TARGET_BACKEND: JVM
-
-// WITH_REFLECT
+// WITH_RUNTIME
 
 import kotlin.test.assertEquals
 
 fun box(): String {
     assertEquals("kotlin.Any", Any::class.qualifiedName)
-    assertEquals("kotlin.Int", Int::class.qualifiedName)
-    assertEquals("kotlin.Int.Companion", Int.Companion::class.qualifiedName)
-    assertEquals("kotlin.IntArray", IntArray::class.qualifiedName)
-    assertEquals("kotlin.collections.List", List::class.qualifiedName)
     assertEquals("kotlin.String", String::class.qualifiedName)
-    assertEquals("kotlin.String", java.lang.String::class.qualifiedName)
+    assertEquals("kotlin.CharSequence", CharSequence::class.qualifiedName)
+    assertEquals("kotlin.Number", Number::class.qualifiedName)
+    assertEquals("kotlin.Int", Int::class.qualifiedName)
+    assertEquals("kotlin.Long", Long::class.qualifiedName)
 
     assertEquals("kotlin.Array", Array<Any>::class.qualifiedName)
-    assertEquals("kotlin.Array", Array<Int>::class.qualifiedName)
+    assertEquals("kotlin.Array", Array<IntArray>::class.qualifiedName)
     assertEquals("kotlin.Array", Array<Array<String>>::class.qualifiedName)
 
-    assertEquals("java.util.Date", java.util.Date::class.qualifiedName)
-    assertEquals("kotlin.jvm.internal.Ref.ObjectRef", kotlin.jvm.internal.Ref.ObjectRef::class.qualifiedName)
-    assertEquals("java.lang.Void", java.lang.Void::class.qualifiedName)
+    assertEquals("kotlin.IntArray", IntArray::class.qualifiedName)
+    assertEquals("kotlin.DoubleArray", DoubleArray::class.qualifiedName)
+
+    assertEquals("kotlin.Int.Companion", Int.Companion::class.qualifiedName)
+    assertEquals("kotlin.Double.Companion", Double.Companion::class.qualifiedName)
+    assertEquals("kotlin.Char.Companion", Char.Companion::class.qualifiedName)
+
+    assertEquals("kotlin.ranges.IntRange", IntRange::class.qualifiedName)
+
+    assertEquals("kotlin.collections.List", List::class.qualifiedName)
+    assertEquals("kotlin.collections.Map.Entry", Map.Entry::class.qualifiedName)
+
+    // TODO: KT-11754
+    assertEquals("kotlin.collections.List", MutableList::class.qualifiedName)
+    assertEquals("kotlin.collections.Map.Entry", MutableMap.MutableEntry::class.qualifiedName)
+
+    assertEquals("kotlin.Function0", Function0::class.qualifiedName)
+    assertEquals("kotlin.Function1", Function1::class.qualifiedName)
+    assertEquals("kotlin.Function5", Function5::class.qualifiedName)
+    assertEquals("kotlin.jvm.functions.FunctionN", Function42::class.qualifiedName)
 
     return "OK"
 }

compiler/testData/codegen/box/reflection/noReflectAtRuntime/javaClass.kt

@@ -18,7 +18,6 @@ fun box(): String {
     assertEquals("Klass", kClass.simpleName)
     assertEquals(kjClass, jjClass)
 
-    try { kClass.qualifiedName; return "Fail qualifiedName" } catch (e: Error) {}
     try { kClass.members; return "Fail members" } catch (e: Error) {}
 
     val jlError = Error::class.java

compiler/testData/codegen/box/reflection/noReflectAtRuntime/javaVoid.kt

@@ -14,6 +14,7 @@ fun box(): String {
     assertEquals(Void::class.java, Void.TYPE.kotlin.javaObjectType)
 
     assertEquals("Void", Void::class.simpleName)
+    assertEquals("java.lang.Void", Void::class.qualifiedName)
 
     return "OK"
 }

compiler/testData/diagnostics/tests/reflection/noReflectionInClassPath.kt

@@ -22,7 +22,7 @@ fun y04() = Foo::class.<!UNRESOLVED_REFERENCE!>properties<!>
 
 fun <T : Any> kclass(k: KClass<*>, kt: KClass<T>) {
     k.simpleName
-    k.<!NO_REFLECTION_IN_CLASS_PATH!>qualifiedName<!>
+    k.qualifiedName
     k.<!NO_REFLECTION_IN_CLASS_PATH!>members<!>
     k.<!NO_REFLECTION_IN_CLASS_PATH!>constructors<!>
     k.<!NO_REFLECTION_IN_CLASS_PATH!>nestedClasses<!>