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]>