[FIR] KT-58523: Ensure the compiler resolves to the typealias

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

@@ -909,6 +909,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
             runTest("compiler/testData/diagnostics/tests/ReserveYieldNoMore2.kt");
         }
 
+        @Test
+        @TestMetadata("resolutionToTypealiasInsteadOfProperty.kt")
+        public void testResolutionToTypealiasInsteadOfProperty() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt");
+        }
+
         @Test
         @TestMetadata("ResolveOfJavaGenerics.kt")
         public void testResolveOfJavaGenerics() throws Exception {

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

@@ -909,6 +909,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
             runTest("compiler/testData/diagnostics/tests/ReserveYieldNoMore2.kt");
         }
 
+        @Test
+        @TestMetadata("resolutionToTypealiasInsteadOfProperty.kt")
+        public void testResolutionToTypealiasInsteadOfProperty() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt");
+        }
+
         @Test
         @TestMetadata("ResolveOfJavaGenerics.kt")
         public void testResolveOfJavaGenerics() throws Exception {

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

@@ -909,6 +909,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
             runTest("compiler/testData/diagnostics/tests/ReserveYieldNoMore2.kt");
         }
 
+        @Test
+        @TestMetadata("resolutionToTypealiasInsteadOfProperty.kt")
+        public void testResolutionToTypealiasInsteadOfProperty() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt");
+        }
+
         @Test
         @TestMetadata("ResolveOfJavaGenerics.kt")
         public void testResolveOfJavaGenerics() throws Exception {

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

@@ -909,6 +909,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
             runTest("compiler/testData/diagnostics/tests/ReserveYieldNoMore2.kt");
         }
 
+        @Test
+        @TestMetadata("resolutionToTypealiasInsteadOfProperty.kt")
+        public void testResolutionToTypealiasInsteadOfProperty() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt");
+        }
+
         @Test
         @TestMetadata("ResolveOfJavaGenerics.kt")
         public void testResolveOfJavaGenerics() throws Exception {

compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.fir.kt

@@ -0,0 +1,18 @@
+// ISSUE: KT-58523
+
+// FILE: pkg.kt
+
+package pkg
+
+class Klass
+typealias ItemKey = Klass
+
+// FILE: main.kt
+
+import pkg.ItemKey
+
+val ItemKey = 42
+
+fun main() {
+    <!NO_COMPANION_OBJECT!>ItemKey<!> // K1: ok, K2: NO_COMPANION_OBJECT
+}

compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt

@@ -0,0 +1,18 @@
+// ISSUE: KT-58523
+
+// FILE: pkg.kt
+
+package pkg
+
+class Klass
+typealias ItemKey = Klass
+
+// FILE: main.kt
+
+import pkg.ItemKey
+
+val ItemKey = 42
+
+fun main() {
+    ItemKey // K1: ok, K2: NO_COMPANION_OBJECT
+}

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

@@ -909,6 +909,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             runTest("compiler/testData/diagnostics/tests/ReserveYieldNoMore2.kt");
         }
 
+        @Test
+        @TestMetadata("resolutionToTypealiasInsteadOfProperty.kt")
+        public void testResolutionToTypealiasInsteadOfProperty() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/resolutionToTypealiasInsteadOfProperty.kt");
+        }
+
         @Test
         @TestMetadata("ResolveOfJavaGenerics.kt")
         public void testResolveOfJavaGenerics() throws Exception {