[FIR] KT-57175: Expand typealiases in the annotation class checker

^KT-57175 Fixed

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java

@@ -543,6 +543,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
             runTest("compiler/testData/diagnostics/tests/kt57085.kt");
         }
 
+        @Test
+        @TestMetadata("kt57175.kt")
+        public void testKt57175() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt57175.kt");
+        }
+
         @Test
         @TestMetadata("LValueAssignment.kt")
         public void testLValueAssignment() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -543,6 +543,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
             runTest("compiler/testData/diagnostics/tests/kt57085.kt");
         }
 
+        @Test
+        @TestMetadata("kt57175.kt")
+        public void testKt57175() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt57175.kt");
+        }
+
         @Test
         @TestMetadata("LValueAssignment.kt")
         public void testLValueAssignment() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -543,6 +543,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
             runTest("compiler/testData/diagnostics/tests/kt57085.kt");
         }
 
+        @Test
+        @TestMetadata("kt57175.kt")
+        public void testKt57175() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt57175.kt");
+        }
+
         @Test
         @TestMetadata("LValueAssignment.kt")
         public void testLValueAssignment() throws Exception {

compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAnnotationClassDeclarationChecker.kt

@@ -72,6 +72,7 @@ object FirAnnotationClassDeclarationChecker : FirRegularClassChecker() {
 
                     val typeRef = parameter.returnTypeRef
                     val coneType = typeRef.coneTypeSafe<ConeLookupTagBasedType>()
+                        ?.fullyExpandedType(context.session) as? ConeLookupTagBasedType
                     val classId = coneType?.classId
 
                     if (coneType != null) when {

compiler/testData/diagnostics/tests/kt57175.kt

@@ -0,0 +1,4 @@
+// FIR_IDENTICAL
+
+typealias Aliased = String
+annotation class Tag(val tags: Aliased) // K1: ok, K2: INVALID_TYPE_OF_ANNOTATION_MEMBER

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -543,6 +543,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             runTest("compiler/testData/diagnostics/tests/kt57085.kt");
         }
 
+        @Test
+        @TestMetadata("kt57175.kt")
+        public void testKt57175() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt57175.kt");
+        }
+
         @Test
         @TestMetadata("LValueAssignment.kt")
         public void testLValueAssignment() throws Exception {