FE: add test reproducing KT-53953

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

@@ -19565,6 +19565,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("abstractFakeOverrideSuperCallOneMoreLevel.kt")
+            public void testAbstractFakeOverrideSuperCallOneMoreLevel() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.kt");
+            }
+
             @Test
             @TestMetadata("abstractVsAbstract.kt")
             public void testAbstractVsAbstract() throws Exception {

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

@@ -19565,6 +19565,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("abstractFakeOverrideSuperCallOneMoreLevel.kt")
+            public void testAbstractFakeOverrideSuperCallOneMoreLevel() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.kt");
+            }
+
             @Test
             @TestMetadata("abstractVsAbstract.kt")
             public void testAbstractVsAbstract() throws Exception {

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

@@ -19565,6 +19565,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("abstractFakeOverrideSuperCallOneMoreLevel.kt")
+            public void testAbstractFakeOverrideSuperCallOneMoreLevel() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.kt");
+            }
+
             @Test
             @TestMetadata("abstractVsAbstract.kt")
             public void testAbstractVsAbstract() throws Exception {

compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.fir.kt

@@ -0,0 +1,16 @@
+// !LANGUAGE: -ForbidSuperDelegationToAbstractFakeOverride
+interface Foo {
+    fun check(): String = "OK"
+}
+abstract class Base {
+    abstract fun check(): String
+}
+
+abstract class Derived : Base(), Foo
+abstract class Derived2 : Derived() // ONE MORE LEVEL
+
+class Problem : Derived2() {
+    override fun check(): String {
+        return super.<!ABSTRACT_SUPER_CALL_WARNING!>check<!>() // NO COMPILER ERROR, BUT FAILURE IN RUNTIME
+    }
+}

compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.kt

@@ -0,0 +1,16 @@
+// !LANGUAGE: -ForbidSuperDelegationToAbstractFakeOverride
+interface Foo {
+    fun check(): String = "OK"
+}
+abstract class Base {
+    abstract fun check(): String
+}
+
+abstract class Derived : Base(), Foo
+abstract class Derived2 : Derived() // ONE MORE LEVEL
+
+class Problem : Derived2() {
+    override fun check(): String {
+        return super.check() // NO COMPILER ERROR, BUT FAILURE IN RUNTIME
+    }
+}

compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.txt

@@ -0,0 +1,40 @@
+package
+
+public abstract class Base {
+    public constructor Base()
+    public abstract fun check(): kotlin.String
+    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
+}
+
+public abstract class Derived : Base, Foo {
+    public constructor Derived()
+    public open override /*2*/ /*fake_override*/ fun check(): kotlin.String
+    public open override /*2*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*2*/ /*fake_override*/ fun toString(): kotlin.String
+}
+
+public abstract class Derived2 : Derived {
+    public constructor Derived2()
+    public open override /*1*/ /*fake_override*/ fun check(): kotlin.String
+    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
+}
+
+public interface Foo {
+    public open fun check(): kotlin.String
+    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
+}
+
+public final class Problem : Derived2 {
+    public constructor Problem()
+    public open override /*1*/ fun check(): kotlin.String
+    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
+}

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

@@ -19571,6 +19571,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallForbidden.kt");
             }
 
+            @Test
+            @TestMetadata("abstractFakeOverrideSuperCallOneMoreLevel.kt")
+            public void testAbstractFakeOverrideSuperCallOneMoreLevel() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/java8Overrides/abstractFakeOverrideSuperCallOneMoreLevel.kt");
+            }
+
             @Test
             @TestMetadata("abstractVsAbstract.kt")
             public void testAbstractVsAbstract() throws Exception {