From cf6f39f79d86a99d7344123480cf7c438529aa3a Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 21 Mar 2018 13:35:15 -0700
Subject: [PATCH] Add regression test

---
 tests/cases/conformance/types/conditional/inferTypes2.ts | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/tests/cases/conformance/types/conditional/inferTypes2.ts b/tests/cases/conformance/types/conditional/inferTypes2.ts
index 82280b6b2e3..fbf4ca80833 100644
--- a/tests/cases/conformance/types/conditional/inferTypes2.ts
+++ b/tests/cases/conformance/types/conditional/inferTypes2.ts
@@ -1,9 +1,16 @@
 // @strict: true
 // @declaration: true
 
-// Repro from #22755
+// Repros from #22755
 
 export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
 export function bar<T>(obj: T) {
     return foo(obj);
 }
+
+export type BadNested<T> = { x: T extends number ? T : string };
+
+export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never;
+export function bar2<T>(obj: T) {
+    return foo2(obj);
+}