[FIR] Ensure the case from KT-63578 works

^KT-63578

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

@@ -291,6 +291,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
             runTest("compiler/testData/diagnostics/tests/DeferredTypes.kt");
         }
 
+        @Test
+        @TestMetadata("delegatedMemberHidesSupertypeOverride.kt")
+        public void testDelegatedMemberHidesSupertypeOverride() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt");
+        }
+
         @Test
         @TestMetadata("delegationTypeMismatch.kt")
         public void testDelegationTypeMismatch() throws Exception {

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

@@ -291,6 +291,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
             runTest("compiler/testData/diagnostics/tests/DeferredTypes.kt");
         }
 
+        @Test
+        @TestMetadata("delegatedMemberHidesSupertypeOverride.kt")
+        public void testDelegatedMemberHidesSupertypeOverride() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt");
+        }
+
         @Test
         @TestMetadata("delegationTypeMismatch.kt")
         public void testDelegationTypeMismatch() throws Exception {

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

@@ -291,6 +291,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
             runTest("compiler/testData/diagnostics/tests/DeferredTypes.kt");
         }
 
+        @Test
+        @TestMetadata("delegatedMemberHidesSupertypeOverride.kt")
+        public void testDelegatedMemberHidesSupertypeOverride() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt");
+        }
+
         @Test
         @TestMetadata("delegationTypeMismatch.kt")
         public void testDelegationTypeMismatch() throws Exception {

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

@@ -291,6 +291,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
             runTest("compiler/testData/diagnostics/tests/DeferredTypes.kt");
         }
 
+        @Test
+        @TestMetadata("delegatedMemberHidesSupertypeOverride.kt")
+        public void testDelegatedMemberHidesSupertypeOverride() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt");
+        }
+
         @Test
         @TestMetadata("delegationTypeMismatch.kt")
         public void testDelegationTypeMismatch() throws Exception {

compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt

@@ -0,0 +1,18 @@
+// FIR_IDENTICAL
+// ISSUE: KT-63578
+
+abstract class Nav {
+    val name: String = ""
+}
+
+object VerticalPortalTransitionProvider : SimplePortalTransitionProvider {
+    override val enterTransition: String = ""
+}
+
+interface SimplePortalTransitionProvider {
+    val enterTransition: String
+}
+
+internal abstract class BaseFeaturePortal<K> : SimplePortalTransitionProvider by VerticalPortalTransitionProvider
+
+internal class FeaturePortal : BaseFeaturePortal<Nav>()

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

@@ -291,6 +291,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             runTest("compiler/testData/diagnostics/tests/DeferredTypes.kt");
         }
 
+        @Test
+        @TestMetadata("delegatedMemberHidesSupertypeOverride.kt")
+        public void testDelegatedMemberHidesSupertypeOverride() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/delegatedMemberHidesSupertypeOverride.kt");
+        }
+
         @Test
         @TestMetadata("delegationTypeMismatch.kt")
         public void testDelegationTypeMismatch() throws Exception {