From db9c202b64d8a26bd5aee42d24dd39693aab2a43 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Tue, 21 Aug 2018 16:17:14 -0700
Subject: [PATCH] Add regression test

---
 tests/cases/compiler/infiniteConstraints.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/cases/compiler/infiniteConstraints.ts b/tests/cases/compiler/infiniteConstraints.ts
index 70d3879da6b..e914b738efc 100644
--- a/tests/cases/compiler/infiniteConstraints.ts
+++ b/tests/cases/compiler/infiniteConstraints.ts
@@ -31,3 +31,8 @@ const noError = ensureNoDuplicates({main: value("test"), alternate: value("test2
 const shouldBeNoError = ensureNoDuplicates({main: value("test")});
 
 const shouldBeError = ensureNoDuplicates({main: value("dup"), alternate: value("dup")});
+
+// Repro from #26448
+
+type Cond<T> = T extends number ? number : never;
+declare function function1<T extends {[K in keyof T]: Cond<T[K]>}>(): T[keyof T]["foo"];