FIR: Support loading deserialized declarations from JVM class files

compiler/fir/java/src/org/jetbrains/kotlin/fir/java/FirJavaModuleBasedSession.kt

@@ -8,10 +8,19 @@ package org.jetbrains.kotlin.fir.java
 import com.intellij.openapi.project.Project
 import com.intellij.psi.search.GlobalSearchScope
 import org.jetbrains.kotlin.analyzer.ModuleInfo
+import org.jetbrains.kotlin.cli.jvm.compiler.KotlinCoreEnvironment
 import org.jetbrains.kotlin.fir.*
+import org.jetbrains.kotlin.fir.java.deserialization.KotlinDeserializedJvmSymbolsProvider
 import org.jetbrains.kotlin.fir.resolve.FirProvider
 import org.jetbrains.kotlin.fir.resolve.FirSymbolProvider
-import org.jetbrains.kotlin.fir.resolve.impl.*
+import org.jetbrains.kotlin.fir.resolve.impl.FirCompositeSymbolProvider
+import org.jetbrains.kotlin.fir.resolve.impl.FirDependenciesSymbolProviderImpl
+import org.jetbrains.kotlin.fir.resolve.impl.FirLibrarySymbolProviderImpl
+import org.jetbrains.kotlin.load.java.JavaClassFinder
+import org.jetbrains.kotlin.load.java.JavaClassFinderImpl
+import org.jetbrains.kotlin.load.kotlin.KotlinClassFinder
+import org.jetbrains.kotlin.load.kotlin.PackagePartProvider
+import org.jetbrains.kotlin.load.kotlin.VirtualFileFinderFactory
 
 class FirJavaModuleBasedSession(
     moduleInfo: ModuleInfo,
@@ -34,10 +43,13 @@ class FirJavaModuleBasedSession(
     }
 }
 
-class FirLibrarySession(
+class FirLibrarySession private constructor(
     moduleInfo: ModuleInfo,
     override val sessionProvider: FirProjectSessionProvider,
-    scope: GlobalSearchScope
+    scope: GlobalSearchScope,
+    packagePartProvider: PackagePartProvider,
+    kotlinClassFinder: KotlinClassFinder,
+    javaClassFinder: JavaClassFinder
 ) : FirSessionBase() {
     init {
         sessionProvider.sessionCache[moduleInfo] = this
@@ -45,6 +57,11 @@ class FirLibrarySession(
             FirSymbolProvider::class,
             FirCompositeSymbolProvider(
                 listOf(
+                    KotlinDeserializedJvmSymbolsProvider(
+                        this, sessionProvider.project,
+                        packagePartProvider, kotlinClassFinder,
+                        javaClassFinder
+                    ),
                     FirLibrarySymbolProviderImpl(this),
                     JavaSymbolProvider(this, sessionProvider.project, scope),
                     FirDependenciesSymbolProviderImpl(this)
@@ -52,6 +69,38 @@ class FirLibrarySession(
             )
         )
     }
+
+    companion object {
+        fun create(
+            moduleInfo: ModuleInfo,
+            sessionProvider: FirProjectSessionProvider,
+            scope: GlobalSearchScope,
+            environment: KotlinCoreEnvironment
+        ): FirLibrarySession = create(
+            moduleInfo, sessionProvider, scope, environment.project,
+            environment.createPackagePartProvider(scope)
+        )
+
+        fun create(
+            moduleInfo: ModuleInfo,
+            sessionProvider: FirProjectSessionProvider,
+            scope: GlobalSearchScope,
+            project: Project,
+            packagePartProvider: PackagePartProvider
+        ): FirLibrarySession {
+            val javaClassFinder = JavaClassFinderImpl().apply {
+                this.setProjectInstance(project)
+                this.setScope(scope)
+            }
+
+            return FirLibrarySession(
+                moduleInfo, sessionProvider, scope,
+                packagePartProvider,
+                VirtualFileFinderFactory.getInstance(project).create(scope),
+                javaClassFinder
+            )
+        }
+    }
 }
 
 class FirProjectSessionProvider(val project: Project) : FirSessionProvider {

compiler/fir/java/src/org/jetbrains/kotlin/fir/java/deserialization/KotlinDeserializedJvmSymbolsProvider.kt

@@ -0,0 +1,133 @@
+/*
+ * Copyright 2010-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license
+ * that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.fir.java.deserialization
+
+import com.intellij.openapi.project.Project
+import org.jetbrains.kotlin.fir.FirSession
+import org.jetbrains.kotlin.fir.declarations.FirCallableMemberDeclaration
+import org.jetbrains.kotlin.fir.declarations.FirDeclaration
+import org.jetbrains.kotlin.fir.declarations.FirNamedDeclaration
+import org.jetbrains.kotlin.fir.declarations.FirRegularClass
+import org.jetbrains.kotlin.fir.deserialization.FirDeserializationContext
+import org.jetbrains.kotlin.fir.deserialization.deserializeClassToSymbol
+import org.jetbrains.kotlin.fir.resolve.AbstractFirSymbolProvider
+import org.jetbrains.kotlin.fir.resolve.getOrPut
+import org.jetbrains.kotlin.fir.symbols.CallableId
+import org.jetbrains.kotlin.fir.symbols.ConeCallableSymbol
+import org.jetbrains.kotlin.fir.symbols.ConeClassLikeSymbol
+import org.jetbrains.kotlin.fir.symbols.FirBasedSymbol
+import org.jetbrains.kotlin.fir.symbols.impl.FirClassSymbol
+import org.jetbrains.kotlin.load.java.JavaClassFinder
+import org.jetbrains.kotlin.load.java.structure.JavaClass
+import org.jetbrains.kotlin.load.kotlin.KotlinClassFinder
+import org.jetbrains.kotlin.load.kotlin.PackagePartProvider
+import org.jetbrains.kotlin.load.kotlin.findKotlinClass
+import org.jetbrains.kotlin.load.kotlin.header.KotlinClassHeader
+import org.jetbrains.kotlin.metadata.ProtoBuf
+import org.jetbrains.kotlin.metadata.jvm.deserialization.JvmProtoBufUtil
+import org.jetbrains.kotlin.name.ClassId
+import org.jetbrains.kotlin.name.FqName
+import org.jetbrains.kotlin.name.Name
+import org.jetbrains.kotlin.resolve.jvm.JvmClassName
+import org.jetbrains.kotlin.serialization.deserialization.getName
+
+class KotlinDeserializedJvmSymbolsProvider(
+    val session: FirSession,
+    val project: Project,
+    private val packagePartProvider: PackagePartProvider,
+    private val kotlinClassFinder: KotlinClassFinder,
+    private val javaClassFinder: JavaClassFinder
+) : AbstractFirSymbolProvider() {
+
+    private val classesCache = mutableMapOf<ClassId, FirClassSymbol>()
+    private val packagePartsCache = mutableMapOf<FqName, Collection<Pair<ProtoBuf.Package, FirDeserializationContext>>>()
+
+    private fun computePackagePartsInfos(packageFqName: FqName): List<Pair<ProtoBuf.Package, FirDeserializationContext>> {
+        return packagePartProvider.findPackageParts(packageFqName.asString()).mapNotNull { partName ->
+            val classId = ClassId.topLevel(JvmClassName.byInternalName(partName).fqNameForTopLevelClassMaybeWithDollars)
+            val kotlinJvmBinaryClass = kotlinClassFinder.findKotlinClass(classId) ?: return@mapNotNull null
+
+            val data = kotlinJvmBinaryClass.classHeader.data ?: return@mapNotNull null
+            val strings = kotlinJvmBinaryClass.classHeader.strings ?: return@mapNotNull null
+            val (nameResolver, packageProto) = JvmProtoBufUtil.readPackageDataFrom(data, strings)
+
+            packageProto to FirDeserializationContext.createForPackage(packageFqName, packageProto, nameResolver, session)
+        }
+    }
+
+    override fun getClassLikeSymbolByFqName(classId: ClassId): ConeClassLikeSymbol? {
+        return findAndDeserializeClass(classId)
+    }
+
+    private fun findAndDeserializeClass(
+        classId: ClassId,
+        parentContext: FirDeserializationContext? = null
+    ): FirClassSymbol? {
+        val kotlinJvmBinaryClass = kotlinClassFinder.findKotlinClass(classId) ?: return null
+        if (kotlinJvmBinaryClass.classHeader.kind != KotlinClassHeader.Kind.CLASS) return null
+
+        val data = kotlinJvmBinaryClass.classHeader.data ?: return null
+        val strings = kotlinJvmBinaryClass.classHeader.strings ?: return null
+        val (nameResolver, classProto) = JvmProtoBufUtil.readClassDataFrom(data, strings)
+
+        return classesCache.getOrPut(classId, { FirClassSymbol(classId) }) { symbol ->
+            deserializeClassToSymbol(
+                classId, classProto, symbol, nameResolver, session, parentContext,
+                this::findAndDeserializeClass
+            )
+        }
+    }
+
+    override fun getCallableSymbols(callableId: CallableId): List<ConeCallableSymbol> {
+        if (callableId.classId != null) {
+            return getClassDeclarations(callableId.classId!!).filterIsInstance<FirCallableMemberDeclaration>()
+                .filter { it.name == callableId.callableName }
+                .map { it.symbol }
+        }
+
+        val packageFqName = callableId.packageName
+
+        return getPackageParts(packageFqName).flatMap { (packageProto, context) ->
+            packageProto.functionList.map {
+                context.memberDeserializer.loadFunction(it).symbol
+            }.filter { callableSymbol -> callableSymbol.callableId.callableName == callableId.callableName }
+        }
+    }
+
+    private fun getPackageParts(packageFqName: FqName): Collection<Pair<ProtoBuf.Package, FirDeserializationContext>> {
+        return packagePartsCache.getOrPut(packageFqName) {
+            computePackagePartsInfos(packageFqName)
+        }
+    }
+
+    override fun getAllCallableNamesInPackage(fqName: FqName): Set<Name> {
+        return getPackageParts(fqName).flatMapTo(mutableSetOf()) { (packageProto, context) ->
+            packageProto.functionList.map { context.nameResolver.getName(it.name) }
+        }
+    }
+
+    override fun getClassNamesInPackage(fqName: FqName): Set<Name> =
+        javaClassFinder.findPackage(fqName)
+            ?.getClasses { true }.orEmpty()
+            .mapTo(sortedSetOf(), JavaClass::name)
+
+    private fun getClassDeclarations(classId: ClassId): List<FirDeclaration> {
+        @Suppress("UNCHECKED_CAST")
+        val classSymbol = getClassLikeSymbolByFqName(classId) as? FirBasedSymbol<FirRegularClass> ?: return emptyList()
+        return classSymbol.fir.declarations
+    }
+
+    override fun getAllCallableNamesInClass(classId: ClassId): Set<Name> =
+        getClassDeclarations(classId)
+            .filterIsInstance<FirNamedDeclaration>()
+            .mapTo(mutableSetOf(), FirNamedDeclaration::name)
+
+    override fun getNestedClassesNamesInClass(classId: ClassId): Set<Name> {
+        return getClassDeclarations(classId).filterIsInstance<FirRegularClass>().mapTo(mutableSetOf()) { it.name }
+    }
+
+    override fun getPackage(fqName: FqName): FqName? = null
+}

compiler/fir/resolve/build.gradle.kts

@@ -13,6 +13,7 @@ dependencies {
     compile(project(":core:deserialization"))
     compile(project(":compiler:fir:cones"))
     compile(project(":compiler:fir:tree"))
+    compile(project(":compiler:cli"))
 
     compileOnly(intellijCoreDep()) { includeJars("intellij-core") }
 

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/impl/FirLibrarySymbolProviderImpl.kt

@@ -59,7 +59,7 @@ class FirLibrarySymbolProviderImpl(val session: FirSession) : FirSymbolProvider
         val classDataFinder = ProtoBasedClassDataFinder(packageProto, nameResolver, version) { SourceElement.NO_SOURCE }
 
         private val memberDeserializer by lazy {
-            FirDeserializationContext.createForPackage(fqName, packageProto, nameResolver, session).memberDeserializer
+            FirDeserializationContext.createForPackage(fqName, packageProto.`package`, nameResolver, session).memberDeserializer
         }
 
         val lookup = mutableMapOf<ClassId, FirClassSymbol>()

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/AnnotatedAnnotation.txt

@@ -0,0 +1,2 @@
+public final annotation class AnnotatedAnnotation : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/AnnotatedMethod.txt

@@ -0,0 +1,4 @@
+public open class AnnotatedMethod : R|kotlin/Any| {
+    public open fun f(): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/AnnotationInAnnotationArguments.txt

@@ -0,0 +1,14 @@
+public final class AnnotationInAnnotationArguments : R|kotlin/Any| {
+}
+
+public final enum class E : R|kotlin/Enum<test/E>| {
+}
+
+public final annotation class EnumOption : R|kotlin/Annotation| {
+}
+
+public final annotation class OptionGroups : R|kotlin/Annotation| {
+}
+
+public final annotation class StringOptions : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/ClassLiteralArguments.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Klass : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/EnumArgumentWithCustomToString.txt

@@ -0,0 +1,13 @@
+public final enum class E : R|kotlin/Enum<test/E>| {
+}
+
+public final annotation class EnumAnno : R|kotlin/Annotation| {
+}
+
+public final class EnumArgumentWithCustomToString : R|kotlin/Any| {
+    public final fun annotated(): R|kotlin/Unit|
+
+}
+
+public final annotation class EnumArrayAnno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/MultiDimensionalArrayMethod.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public abstract interface T : R|kotlin/Any| {
+    public abstract fun foo(): R|kotlin/Array<kotlin/Array<kotlin/Array<test/T>>>|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/PrimitiveArrayArguments.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Klass : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/SimpleAnnotation.txt

@@ -0,0 +1,2 @@
+public final annotation class SimpleAnnotation : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/TargetedAnnotation.txt

@@ -0,0 +1,2 @@
+public final annotation class TargetedAnnotation : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/ClassObjectPropertyField.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/Constructor.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Constructor : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/DelegatedProperty.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/EnumArgument.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final fun foo(): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/EnumEntry.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final annotation class Bnno : R|kotlin/Annotation| {
+}
+
+public final enum class Eee : R|kotlin/Enum<test/Eee>| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/Function.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final fun foo(): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/Getter.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/HiddenConstructorWithInlineClassParameters.txt

@@ -0,0 +1,20 @@
+public final annotation class Ann : R|kotlin/Annotation| {
+}
+
+public sealed class Sealed : R|kotlin/Any| {
+    public final class Derived : R|test/Sealed| {
+    }
+
+}
+
+public final class Test : R|kotlin/Any| {
+}
+
+public final inline class Z : R|kotlin/Any| {
+    public open operator fun equals(other: R|kotlin/Any|): R|kotlin/Boolean|
+
+    public open fun hashCode(): R|kotlin/Int|
+
+    public open fun toString(): R|kotlin/String|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/PropertyField.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/PublishedApiAnnotationOnInlineClassCosntructor.txt

@@ -0,0 +1,8 @@
+public final inline class Z : R|kotlin/Any| {
+    public open operator fun equals(other: R|kotlin/Any|): R|kotlin/Boolean|
+
+    public open fun hashCode(): R|kotlin/Int|
+
+    public open fun toString(): R|kotlin/String|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classMembers/Setter.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/AnnotationInClassObject.txt

@@ -0,0 +1,17 @@
+public final class A : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+        public final annotation class Anno1 : R|kotlin/Annotation| {
+        }
+
+        public final class B : R|kotlin/Any| {
+            public final annotation class Anno2 : R|kotlin/Annotation| {
+            }
+
+        }
+
+    }
+
+}
+
+public final class C : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/ClassInClassObject.txt

@@ -0,0 +1,11 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+        public final class Nested : R|kotlin/Any| {
+        }
+
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/ClassObject.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/ClassObjectInStaticNestedClass.txt

@@ -0,0 +1,8 @@
+public final class A : R|kotlin/Any| {
+    public final class B : R|kotlin/Any| {
+        public final companion object Companion : R|kotlin/Any| {
+        }
+
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/DataClass.txt

@@ -0,0 +1,12 @@
+public final data class My : R|kotlin/Any| {
+    public final operator fun component1(): R|kotlin/Int|
+
+    public final fun copy(x: R|kotlin/Int|): R|test/My|
+
+    public open operator fun equals(other: R|kotlin/Any|): R|kotlin/Boolean|
+
+    public open fun hashCode(): R|kotlin/Int|
+
+    public open fun toString(): R|kotlin/String|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/Deprecated.txt

@@ -0,0 +1,11 @@
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+    public final inner class Inner : R|kotlin/Any| {
+    }
+
+    public final class Nested : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/DollarsInAnnotationName.txt

@@ -0,0 +1,11 @@
+public final annotation class $$$$$$ : R|kotlin/Annotation| {
+}
+
+public final class A : R|kotlin/Any| {
+}
+
+public final annotation class Anno$tation : R|kotlin/Annotation| {
+}
+
+public final class Cla$s : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/EnumArgument.txt

@@ -0,0 +1,14 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+    public final inner class Inner : R|kotlin/Any| {
+    }
+
+    public final class Nested : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/MultipleAnnotations.txt

@@ -0,0 +1,11 @@
+public final annotation class A1 : R|kotlin/Annotation| {
+}
+
+public final annotation class A2 : R|kotlin/Annotation| {
+}
+
+public final annotation class A3 : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/NestedAnnotation.txt

@@ -0,0 +1,10 @@
+public final class A : R|kotlin/Any| {
+    public final annotation class Anno : R|kotlin/Annotation| {
+    }
+
+}
+
+public final class B : R|kotlin/Any| {
+    public final fun f(): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/NestedClass.txt

@@ -0,0 +1,11 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final inner class Inner : R|kotlin/Any| {
+    }
+
+    public final class Nested : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/Retention.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/Simple.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class X : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/WithArgument.txt

@@ -0,0 +1,26 @@
+public final annotation class BooleanAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class ByteAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class CharAnno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}
+
+public final annotation class DoubleAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class FloatAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class IntAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class LongAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class ShortAnno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/classes/WithMultipleArguments.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/DelegatedProperty.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/EnumArgument.txt

@@ -0,0 +1,4 @@
+public final fun foo(): R|kotlin/Unit|
+
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/EnumArrayArgument.txt

@@ -0,0 +1,6 @@
+public final fun baz(): R|kotlin/Unit|
+
+public final fun foo(): R|kotlin/Unit|
+
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/Function.txt

@@ -0,0 +1,4 @@
+public final fun function(): R|kotlin/Unit|
+
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/Getter.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/PropertyField.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/Setter.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/packageMembers/StringArrayArgument.txt

@@ -0,0 +1,6 @@
+public final fun baz(): R|kotlin/Unit|
+
+public final fun foo(): R|kotlin/Unit|
+
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/Constructor.txt

@@ -0,0 +1,8 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final annotation class B : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/EnumConstructor.txt

@@ -0,0 +1,8 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final annotation class B : R|kotlin/Annotation| {
+}
+
+public final enum class E : R|kotlin/Enum<test/E>| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/ExtensionFunction.txt

@@ -0,0 +1,4 @@
+public final fun R|kotlin/Int|.foo(x: R|kotlin/Int|): R|kotlin/Unit|
+
+public final annotation class A : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/ExtensionFunctionInClass.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final fun R|kotlin/String|.foo(x: R|kotlin/Int|): R|kotlin/Int|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/ExtensionPropertySetter.txt

@@ -0,0 +1,5 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/FunctionInClass.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final fun foo(x: R|kotlin/String|): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/FunctionInTrait.txt

@@ -0,0 +1,7 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public abstract interface Trait : R|kotlin/Any| {
+    public open fun foo(x: R|kotlin/String|): R|kotlin/Int|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/InnerClassConstructor.txt

@@ -0,0 +1,11 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class Outer : R|kotlin/Any| {
+    public final inner class Inner : R|kotlin/Any| {
+    }
+
+    public final class Nested : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/ManyAnnotations.txt

@@ -0,0 +1,15 @@
+public final fun bar(x: R|kotlin/Int|): R|kotlin/Unit|
+
+public final fun foo(x: R|kotlin/Int|, y: R|kotlin/Double|, z: R|kotlin/String|): R|kotlin/Unit|
+
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final annotation class B : R|kotlin/Annotation| {
+}
+
+public final annotation class C : R|kotlin/Annotation| {
+}
+
+public final annotation class D : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/PropertySetterInClass.txt

@@ -0,0 +1,5 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/TopLevelFunction.txt

@@ -0,0 +1,4 @@
+public final fun foo(x: R|kotlin/Int|): R|kotlin/Unit|
+
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/parameters/TopLevelPropertySetter.txt

@@ -0,0 +1,5 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final annotation class B : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/Class.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/ClassObject.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNameClass.txt

@@ -0,0 +1,11 @@
+public final class Class : R|kotlin/Any| {
+}
+
+public final annotation class DoubleAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class IntAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class StringAnno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/ExtensionsWithSameNamePackage.txt

@@ -0,0 +1,8 @@
+public final annotation class DoubleAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class IntAnno : R|kotlin/Annotation| {
+}
+
+public final annotation class StringAnno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/NestedTrait.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+    public abstract interface Trait : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/TopLevel.txt

@@ -0,0 +1,2 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/Trait.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public abstract interface Trait : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/propertiesWithoutBackingFields/TraitClassObject.txt

@@ -0,0 +1,8 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public abstract interface Trait : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/ClassLiteralArgument.txt

@@ -0,0 +1,25 @@
+public final class A : R|kotlin/Any| {
+    public final fun arrays(s: R|kotlin/Array<kotlin/Int>|, t: R|kotlin/Array<kotlin/IntArray>|, u: R|kotlin/Array<kotlin/Array<kotlin/Int>>|, v: R|kotlin/Array<kotlin/Array<kotlin/Array<kotlin/String>>>|): R|kotlin/Unit|
+
+    public final fun generic(s: R|kotlin/String|): R|kotlin/Unit|
+
+    public final fun innerGeneric(s: R|kotlin/String|): R|kotlin/Unit|
+
+    public final fun simple(s: R|kotlin/String|): R|kotlin/Unit|
+
+}
+
+public final annotation class Ann : R|kotlin/Annotation| {
+}
+
+<T> public final class Generic : R|kotlin/Any| {
+}
+
+<A, B> public final class InnerGeneric : R|kotlin/Any| {
+    <C, D> public final inner class Inner : R|kotlin/Any| {
+    }
+
+}
+
+public final class Simple : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/ReceiverParameter.txt

@@ -0,0 +1,4 @@
+public final fun R|kotlin/String|.foo(): R|kotlin/Unit|
+
+public final annotation class A : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/SimpleTypeAnnotation.txt

@@ -0,0 +1,7 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class SimpleTypeAnnotation : R|kotlin/Any| {
+    public final fun foo(x: R|kotlin/ranges/IntRange|): R|kotlin/Int|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/SourceRetention.txt

@@ -0,0 +1,9 @@
+public final fun typeAnnotation(): R|kotlin/Unit|
+
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class TypeParameterAnnotation : R|kotlin/Any| {
+    <T> public final fun foo(x: R|T|): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/SupertypesAndBounds.txt

@@ -0,0 +1,7 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+<T> public abstract interface Foo : R|java/io/Serializable| {
+    <E, F> public abstract fun bar(): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/TypeAnnotationWithArguments.txt

@@ -0,0 +1,7 @@
+public final annotation class Ann : R|kotlin/Annotation| {
+}
+
+public final class TypeAnnotationWithArguments : R|kotlin/Any| {
+    public final fun foo(param: R|kotlin/ranges/IntRange|): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/TypeArgument.txt

@@ -0,0 +1,4 @@
+public final fun foo(bar: R|kotlin/collections/Map<kotlin/String, kotlin/collections/List<kotlin/Int>>|): R|kotlin/Unit|
+
+public final annotation class A : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/TypeParameterAnnotation.txt

@@ -0,0 +1,7 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class SimpleTypeParameterAnnotation : R|kotlin/Any| {
+    <T> public final fun foo(x: R|T|): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/types/TypeParameterAnnotationWithArguments.txt

@@ -0,0 +1,7 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final class SimpleTypeParameterAnnotation : R|kotlin/Any| {
+    <T> public final fun foo(x: R|T|): R|kotlin/Unit|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/withUseSiteTarget/DelegateTarget.txt

@@ -0,0 +1,10 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}
+
+public final class CustomDelegate : R|kotlin/Any| {
+    public final operator fun getValue(thisRef: R|kotlin/Any|, prop: R|kotlin/reflect/KProperty<*>|): R|kotlin/String|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/withUseSiteTarget/FieldTarget.txt

@@ -0,0 +1,5 @@
+public final annotation class Anno : R|kotlin/Annotation| {
+}
+
+public final class Class : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/withUseSiteTarget/PropertyAndAccessor.txt

@@ -0,0 +1,8 @@
+public final annotation class A : R|kotlin/Annotation| {
+}
+
+public final annotation class B : R|kotlin/Annotation| {
+}
+
+public abstract interface I : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/annotations/withUseSiteTarget/ReceiverTarget.txt

@@ -0,0 +1,7 @@
+public final class A : R|kotlin/Any| {
+    public final fun R|kotlin/String|.myLength(q: R|kotlin/String|): R|kotlin/Int|
+
+}
+
+public final annotation class Ann : R|kotlin/Annotation| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/Class.txt

@@ -0,0 +1,2 @@
+public final class Ramification : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassInParam.txt

@@ -0,0 +1,2 @@
+<T> public final class Wine : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassInnerClass.txt

@@ -0,0 +1,5 @@
+public final class Outer : R|kotlin/Any| {
+    public final inner class Inner : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassMemberConflict.txt

@@ -0,0 +1,32 @@
+<test> public final class ConstructorTypeParamClassObjectConflict : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}
+
+<test> public final class ConstructorTypeParamClassObjectTypeConflict : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+        public abstract interface test : R|kotlin/Any| {
+        }
+
+    }
+
+}
+
+public final class TestClassObjectAndClassConflict : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}
+
+public final class TestConstructorParamClassObjectConflict : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}
+
+public final class TestConstructorValClassObjectConflict : R|kotlin/Any| {
+    public final companion object Companion : R|kotlin/Any| {
+    }
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassOutParam.txt

@@ -0,0 +1,2 @@
+<T> public final class Juice : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParam.txt

@@ -0,0 +1,2 @@
+<T> public final class Beer : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamReferencesParam.txt

@@ -0,0 +1,2 @@
+<A, B> public final class ClassParamReferencesParam : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamReferencesParam2.txt

@@ -0,0 +1,2 @@
+<A, B> public final class ClassParamReferencesParam : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamReferencesSelf.txt

@@ -0,0 +1,5 @@
+<A> public final class ClassParamReferencesSelf : R|kotlin/Any| {
+}
+
+<P> public abstract interface TraitWithP : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamUpperClassBound.txt

@@ -0,0 +1,2 @@
+<A> public final class Clock : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamUpperClassInterfaceBound.txt

@@ -0,0 +1,2 @@
+<A> public final class Clock : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassParamUpperInterfaceBound.txt

@@ -0,0 +1,2 @@
+<A> public final class Clock : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassTwoParams.txt

@@ -0,0 +1,2 @@
+<P, Q> public final class ClassTwoParams : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/ClassTwoParams2.txt

@@ -0,0 +1,2 @@
+<P, Q> public final class ClassTwoParams : R|kotlin/Any| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/EnumWithGenericConstructorParameter.txt

@@ -0,0 +1,2 @@
+public final enum class EnumWithGenericConstructorParameter : R|kotlin/Enum<test/EnumWithGenericConstructorParameter>| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/EnumWithPrimitiveConstructorParameter.txt

@@ -0,0 +1,2 @@
+public final enum class EnumWithPrimitiveConstructorParameter : R|kotlin/Enum<test/EnumWithPrimitiveConstructorParameter>| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/InheritClassSimple.txt

@@ -0,0 +1,5 @@
+public abstract class Aaa : R|kotlin/Any| {
+}
+
+public final class Bbb : R|test/Aaa| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/InheritClassWithParam.txt

@@ -0,0 +1,5 @@
+<P> public abstract class Aaa : R|kotlin/Any| {
+}
+
+public final class Bbb : R|test/Aaa<java/util/Random>| {
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/InheritSubstitutedMethod.txt

@@ -0,0 +1,11 @@
+<T> public abstract interface A : R|kotlin/Any| {
+    public abstract fun bar(): R|T|
+
+    public open fun foo(): R|T|
+
+}
+
+public final class B : R|test/A<kotlin/String>| {
+    public open fun bar(): R|kotlin/String|
+
+}

compiler/fir/resolve/testData/loadCompiledKotlin/class/InheritTraitWithFunctionParam.txt

@@ -0,0 +1,7 @@
+public open class Class : R|test/Trait| {
+}
+
+public abstract interface Trait : R|kotlin/Any| {
+    public open fun f(a: R|kotlin/String|): R|kotlin/Unit|
+
+}