Fix typealias usage nullability and annotations lost in deserialization

This fixes a regression introduced by the commit 4b0da0688a which made
deserializer expand typealiases but didn't take nullability and use site
annotations into account.

Issue #KT-40824 Fixed

compiler/testData/compileKotlinAgainstKotlin/annotationOnTypeUseInTypeAlias.kt

@@ -0,0 +1,31 @@
+// TARGET_BACKEND: JVM
+// WITH_REFLECT
+// FILE: A.kt
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val value: String)
+
+class Foo
+
+typealias MyFoo = Foo
+
+class C<T>(val t: T)
+
+typealias MyC = C<@Anno("OK") MyFoo?>
+
+// FILE: B.kt
+fun test(myc: MyC) {}
+
+fun box(): String {
+    test(C(null))
+
+    val mycType = ::test.parameters.single().type
+    val argumentType = mycType.arguments.single().type!!
+    if (!argumentType.isMarkedNullable)
+        return "Fail: argument type should be seen as nullable"
+
+    val annotations = argumentType.annotations
+    if (annotations.toString() != "[@Anno(value=OK)]")
+        return "Fail: $annotations"
+
+    return "OK"
+}

compiler/tests/org/jetbrains/kotlin/codegen/CompileKotlinAgainstKotlinTestGenerated.java

@@ -38,6 +38,11 @@ public class CompileKotlinAgainstKotlinTestGenerated extends AbstractCompileKotl
         runTest("compiler/testData/compileKotlinAgainstKotlin/annotationInInterface.kt");
     }
 
+    @TestMetadata("annotationOnTypeUseInTypeAlias.kt")
+    public void testAnnotationOnTypeUseInTypeAlias() throws Exception {
+        runTest("compiler/testData/compileKotlinAgainstKotlin/annotationOnTypeUseInTypeAlias.kt");
+    }
+
     @TestMetadata("annotationsOnTypeAliases.kt")
     public void testAnnotationsOnTypeAliases() throws Exception {
         runTest("compiler/testData/compileKotlinAgainstKotlin/annotationsOnTypeAliases.kt");

compiler/tests/org/jetbrains/kotlin/codegen/ir/IrCompileKotlinAgainstKotlinTestGenerated.java

@@ -38,6 +38,11 @@ public class IrCompileKotlinAgainstKotlinTestGenerated extends AbstractIrCompile
         runTest("compiler/testData/compileKotlinAgainstKotlin/annotationInInterface.kt");
     }
 
+    @TestMetadata("annotationOnTypeUseInTypeAlias.kt")
+    public void testAnnotationOnTypeUseInTypeAlias() throws Exception {
+        runTest("compiler/testData/compileKotlinAgainstKotlin/annotationOnTypeUseInTypeAlias.kt");
+    }
+
     @TestMetadata("annotationsOnTypeAliases.kt")
     public void testAnnotationsOnTypeAliases() throws Exception {
         runTest("compiler/testData/compileKotlinAgainstKotlin/annotationsOnTypeAliases.kt");

core/deserialization/src/org/jetbrains/kotlin/serialization/deserialization/TypeDeserializer.kt

@@ -92,8 +92,12 @@ class TypeDeserializer(
         val declarationDescriptor = constructor.declarationDescriptor
 
         val simpleType = when {
-            expandTypeAliases && declarationDescriptor is TypeAliasDescriptor ->
-                with(KotlinTypeFactory) { declarationDescriptor.computeExpandedType(arguments) }
+            expandTypeAliases && declarationDescriptor is TypeAliasDescriptor -> {
+                val expandedType = with(KotlinTypeFactory) { declarationDescriptor.computeExpandedType(arguments) }
+                expandedType
+                    .makeNullableAsSpecified(proto.nullable)
+                    .replaceAnnotations(Annotations.create(annotations + expandedType.annotations))
+            }
             Flags.SUSPEND_TYPE.get(proto.flags) ->
                 createSuspendFunctionType(annotations, constructor, arguments, proto.nullable)
             else ->