diff --git a/tests/cases/conformance/types/conditional/conditionalTypes2.ts b/tests/cases/conformance/types/conditional/conditionalTypes2.ts
index c3418cf924d..4002ab6a0a7 100644
--- a/tests/cases/conformance/types/conditional/conditionalTypes2.ts
+++ b/tests/cases/conformance/types/conditional/conditionalTypes2.ts
@@ -121,3 +121,18 @@ function foo<T>(value: T) {
         toString2(value);
     }
 }
+
+// Repro from #23052
+
+type A<T, V, E> =
+  T extends object
+    ? { [Q in { [P in keyof T]: T[P] extends V ? P : P; }[keyof T]]: A<T[Q], V, E>; }
+    : T extends V ? T : never;
+
+type B<T, V> =
+  T extends object
+    ? { [Q in { [P in keyof T]: T[P] extends V ? P : P; }[keyof T]]: B<T[Q], V>; }
+    : T extends V ? T : never;
+
+type C<T, V, E> =
+  { [Q in { [P in keyof T]: T[P] extends V ? P : P; }[keyof T]]: C<T[Q], V, E>; };