K2: add test for KT-55408

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

@@ -34518,6 +34518,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStatic.kt");
             }
 
+            @Test
+            @TestMetadata("packagePrivateStaticViaTypeAlias.kt")
+            public void testPackagePrivateStaticViaTypeAlias() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.kt");
+            }
+
             @Test
             @TestMetadata("privateCompanionInSuperClass.kt")
             public void testPrivateCompanionInSuperClass() throws Exception {

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

@@ -34614,6 +34614,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStatic.kt");
             }
 
+            @Test
+            @TestMetadata("packagePrivateStaticViaTypeAlias.kt")
+            public void testPackagePrivateStaticViaTypeAlias() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.kt");
+            }
+
             @Test
             @TestMetadata("privateCompanionInSuperClass.kt")
             public void testPrivateCompanionInSuperClass() throws Exception {

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

@@ -34518,6 +34518,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStatic.kt");
             }
 
+            @Test
+            @TestMetadata("packagePrivateStaticViaTypeAlias.kt")
+            public void testPackagePrivateStaticViaTypeAlias() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.kt");
+            }
+
             @Test
             @TestMetadata("privateCompanionInSuperClass.kt")
             public void testPrivateCompanionInSuperClass() throws Exception {

compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.fir.kt

@@ -0,0 +1,30 @@
+// FILE: javapackage/PackagePrivateGrandparentAbstractClass.java
+
+package javapackage;
+
+/*package-private*/ abstract class PackagePrivateGrandparentAbstractClass {
+    public static void publicStaticMethod() {}
+}
+
+// FILE: javapackage/PublicParentClass.java
+
+package javapackage;
+
+public class PublicParentClass extends PackagePrivateGrandparentAbstractClass {}
+
+// FILE: foo.kt
+
+import javapackage.PublicParentClass
+
+typealias TypeAliasedParent = PublicParentClass
+
+fun foo() {
+    TypeAliasedParent.<!INVISIBLE_REFERENCE!>publicStaticMethod<!>()
+}
+
+class Child : TypeAliasedParent() {
+    fun foo() {
+        TypeAliasedParent.publicStaticMethod()
+        publicStaticMethod()
+    }
+}

compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.kt

@@ -0,0 +1,30 @@
+// FILE: javapackage/PackagePrivateGrandparentAbstractClass.java
+
+package javapackage;
+
+/*package-private*/ abstract class PackagePrivateGrandparentAbstractClass {
+    public static void publicStaticMethod() {}
+}
+
+// FILE: javapackage/PublicParentClass.java
+
+package javapackage;
+
+public class PublicParentClass extends PackagePrivateGrandparentAbstractClass {}
+
+// FILE: foo.kt
+
+import javapackage.PublicParentClass
+
+typealias TypeAliasedParent = PublicParentClass
+
+fun foo() {
+    TypeAliasedParent.publicStaticMethod()
+}
+
+class Child : TypeAliasedParent() {
+    fun foo() {
+        TypeAliasedParent.publicStaticMethod()
+        publicStaticMethod()
+    }
+}

compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.txt

@@ -0,0 +1,35 @@
+package
+
+public fun foo(): kotlin.Unit
+
+public final class Child : TypeAliasedParent /* = javapackage.PublicParentClass */ {
+    public constructor Child()
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public final fun foo(): kotlin.Unit
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
+public typealias TypeAliasedParent = javapackage.PublicParentClass
+
+package javapackage {
+
+    public/*package*/ abstract class PackagePrivateGrandparentAbstractClass {
+        public/*package*/ constructor PackagePrivateGrandparentAbstractClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+        // Static members
+        public open fun publicStaticMethod(): kotlin.Unit
+    }
+
+    public open class PublicParentClass : javapackage.PackagePrivateGrandparentAbstractClass {
+        public constructor PublicParentClass()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+        // Static members
+        public open override /*1*/ /*fake_override*/ fun publicStaticMethod(): kotlin.Unit
+    }
+}

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

@@ -34614,6 +34614,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStatic.kt");
             }
 
+            @Test
+            @TestMetadata("packagePrivateStaticViaTypeAlias.kt")
+            public void testPackagePrivateStaticViaTypeAlias() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/visibility/packagePrivateStaticViaTypeAlias.kt");
+            }
+
             @Test
             @TestMetadata("privateCompanionInSuperClass.kt")
             public void testPrivateCompanionInSuperClass() throws Exception {