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 ed02e9eb634..77c947ffd28 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
@@ -14040,6 +14040,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/inference/kt49961.kt");
             }
 
+            @Test
+            @TestMetadata("kt50232a.kt")
+            public void testKt50232a() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt50232a.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 40f2808d556..a134d919947 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
@@ -14040,6 +14040,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/inference/kt49961.kt");
             }
 
+            @Test
+            @TestMetadata("kt50232a.kt")
+            public void testKt50232a() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt50232a.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 59adf74d78d..f85fe14b525 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
@@ -14040,6 +14040,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/inference/kt49961.kt");
             }
 
+            @Test
+            @TestMetadata("kt50232a.kt")
+            public void testKt50232a() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {
diff --git a/compiler/testData/diagnostics/tests/inference/kt50232a.fir.kt b/compiler/testData/diagnostics/tests/inference/kt50232a.fir.kt
new file mode 100644
index 00000000000..a5a78826537
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt50232a.fir.kt
@@ -0,0 +1,11 @@
+fun test() {
+    acceptMyRecursive(<!INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION!>inferType<!><<!UPPER_BOUND_VIOLATED!>MyRecursive?<!>>())
+}
+
+fun acceptMyRecursive(value: MyRecursive?) {}
+
+fun <R : Recursive<R>?> inferType(): R = TODO()
+
+abstract class Recursive<R>
+
+class MyRecursive : Recursive<MyRecursive>()
diff --git a/compiler/testData/diagnostics/tests/inference/kt50232a.kt b/compiler/testData/diagnostics/tests/inference/kt50232a.kt
new file mode 100644
index 00000000000..88a7e3922aa
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt50232a.kt
@@ -0,0 +1,11 @@
+fun test() {
+    acceptMyRecursive(<!INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION_WARNING!>inferType<!><<!UPPER_BOUND_VIOLATED, UPPER_BOUND_VIOLATED, UPPER_BOUND_VIOLATED!>MyRecursive?<!>>())
+}
+
+fun acceptMyRecursive(value: MyRecursive?) {}
+
+fun <R : Recursive<R>?> inferType(): R = TODO()
+
+abstract class Recursive<R>
+
+class MyRecursive : Recursive<MyRecursive>()
diff --git a/compiler/testData/diagnostics/tests/inference/kt50232a.txt b/compiler/testData/diagnostics/tests/inference/kt50232a.txt
new file mode 100644
index 00000000000..45efb413b68
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/kt50232a.txt
@@ -0,0 +1,19 @@
+package
+
+public fun acceptMyRecursive(/*0*/ value: MyRecursive?): kotlin.Unit
+public fun </*0*/ R : Recursive<R>?> inferType(): R
+public fun test(): kotlin.Unit
+
+public final class MyRecursive : Recursive<MyRecursive> {
+    public constructor MyRecursive()
+    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 Recursive</*0*/ R> {
+    public constructor Recursive</*0*/ R>()
+    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
+}
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 a8a3ba0eec1..f92447b5750 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
@@ -14046,6 +14046,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/inference/kt49961.kt");
             }
 
+            @Test
+            @TestMetadata("kt50232a.kt")
+            public void testKt50232a() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/kt50232a.kt");
+            }
+
             @Test
             @TestMetadata("kt6175.kt")
             public void testKt6175() throws Exception {