diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
index 382de5ba9f8..e49c27ace3e 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
@@ -14024,6 +14024,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
             }
 
+            @Test
+            @TestMetadata("kt53124.kt")
+            public void testKt53124() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt53124.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
index 14e2e62bf58..a918d26fb83 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
@@ -14024,6 +14024,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
             }
 
+            @Test
+            @TestMetadata("kt53124.kt")
+            public void testKt53124() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt53124.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
index 018c36367bb..49b8fd4020e 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
@@ -14024,6 +14024,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
             }
 
+            @Test
+            @TestMetadata("kt53124.kt")
+            public void testKt53124() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt53124.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {
diff --git a/compiler/testData/diagnostics/tests/inference/kt53124.kt b/compiler/testData/diagnostics/tests/inference/kt53124.kt
new file mode 100644
index 00000000000..ce7ecad763b
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt53124.kt
@@ -0,0 +1,26 @@
+// FIR_IDENTICAL
+// FILE: exp/Ns.java
+package exp;
+
+public final class Ns {
+
+    public static class Element<E extends Element<E>> {}
+
+    public static class Foo<T extends Element<T>> {
+        public Bar<T> getBar() {
+            return new Bar<>();
+        }
+    }
+
+    public static class Bar<U extends Element<U>> {
+        public String getName() {
+            return "";
+        }
+    }
+}
+
+// FILE: exp/main.kt
+package exp
+
+val Ns.Foo<*>.name
+    get() = this.bar.name
diff --git a/compiler/testData/diagnostics/tests/inference/kt53124.txt b/compiler/testData/diagnostics/tests/inference/kt53124.txt
new file mode 100644
index 00000000000..538456d4fc7
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt53124.txt
@@ -0,0 +1,35 @@
+package
+
+package exp {
+    public val exp.Ns.Foo<*>.name: kotlin.String!
+
+    public final class Ns {
+        public constructor Ns()
+        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 open class Bar</*0*/ U : exp.Ns.Element<U!>!> {
+            public constructor Bar</*0*/ U : exp.Ns.Element<U!>!>()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun getName(): kotlin.String!
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+        }
+
+        public open class Element</*0*/ E : exp.Ns.Element<E!>!> {
+            public constructor Element</*0*/ E : exp.Ns.Element<E!>!>()
+            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 open class Foo</*0*/ T : exp.Ns.Element<T!>!> {
+            public constructor Foo</*0*/ T : exp.Ns.Element<T!>!>()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun getBar(): exp.Ns.Bar<T!>!
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+        }
+    }
+}
diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
index 80c6d6e7151..0b00120221d 100644
--- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
+++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
@@ -14030,6 +14030,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
             }
 
+            @Test
+            @TestMetadata("kt53124.kt")
+            public void testKt53124() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt53124.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {