From 92f5f1dd9d42f1033e56c8234d3d042bfe577127 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Fri, 29 Jun 2018 17:16:23 -1000
Subject: [PATCH] Add regression test

---
 tests/cases/compiler/recursiveResolveTypeMembers.ts | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/cases/compiler/recursiveResolveTypeMembers.ts

diff --git a/tests/cases/compiler/recursiveResolveTypeMembers.ts b/tests/cases/compiler/recursiveResolveTypeMembers.ts
new file mode 100644
index 00000000000..5c7920e43fb
--- /dev/null
+++ b/tests/cases/compiler/recursiveResolveTypeMembers.ts
@@ -0,0 +1,6 @@
+// Repro from #25291
+
+type PromisedTuple<L extends any[], U = (...args: L) => void> =
+    U extends (h: infer H, ...args: infer R) => [Promise<H>, ...PromisedTuple<R>] ? [] : []
+
+type Promised = PromisedTuple<[1, 2, 3]>