FIR: serialize both expanded and abbreviated type to metadata

compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt

@@ -627,6 +627,26 @@ class FirElementSerializer private constructor(
         toSuper: Boolean = false,
         correspondingTypeRef: FirTypeRef? = null,
         isDefinitelyNotNullType: Boolean = false,
+    ): ProtoBuf.Type.Builder {
+        val typeProto = typeOrTypealiasProto(type, toSuper, correspondingTypeRef, isDefinitelyNotNullType)
+        val expanded = if (type is ConeClassLikeType) type.fullyExpandedType(session) else type
+        if (expanded === type) {
+            return typeProto
+        }
+        val expandedProto = typeOrTypealiasProto(expanded, toSuper, correspondingTypeRef, isDefinitelyNotNullType)
+        if (useTypeTable()) {
+            expandedProto.abbreviatedTypeId = typeTable[typeProto]
+        } else {
+            expandedProto.setAbbreviatedType(typeProto)
+        }
+        return expandedProto
+    }
+
+    private fun typeOrTypealiasProto(
+        type: ConeKotlinType,
+        toSuper: Boolean,
+        correspondingTypeRef: FirTypeRef?,
+        isDefinitelyNotNullType: Boolean,
     ): ProtoBuf.Type.Builder {
         val builder = ProtoBuf.Type.newBuilder()
         when (type) {

compiler/testData/codegen/box/compileKotlinAgainstKotlin/annotationOnTypeUseInTypeAlias.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
-// FIR status: List is empty for val argumentType = mycType.arguments.single().type!!
 // TARGET_BACKEND: JVM
 // WITH_REFLECT
 // MODULE: lib