From ec02ccd575afb57c69d8db708889c5d27209d8e1 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 2 Apr 2018 09:23:00 -0700
Subject: [PATCH] Add regression test

---
 .../types/conditional/conditionalTypes2.ts        | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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>; };