From d5f3cee35d0c27ab0bc6b9887cf94952b48bc131 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Thu, 19 Jul 2018 18:29:30 -0700
Subject: [PATCH] Add regression test

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

diff --git a/tests/cases/compiler/genericRestTypes.ts b/tests/cases/compiler/genericRestTypes.ts
new file mode 100644
index 00000000000..cdfbd54f70d
--- /dev/null
+++ b/tests/cases/compiler/genericRestTypes.ts
@@ -0,0 +1,15 @@
+// @strict: true
+
+// Repro from #25793
+
+// Gets the parameters of a function type as a tuple
+type Parameters<T extends (...args: any[]) => any> = T extends (...args: infer U) => any ? U : never;
+// Removes the first element from a tuple
+type Tail<T extends any[]> = ((...args: T) => any) extends ((head: any, ...tail: infer U) => any) ? U : never;
+
+type MyFunctionType = (foo: number, bar: string) => boolean;
+
+type Explicit = (...args: Tail<Parameters<MyFunctionType>>) => ReturnType<MyFunctionType>; // (bar: string) => boolean
+
+type Bind1<T extends (head: any, ...tail: any[]) => any> = (...args: Tail<Parameters<T>>) => ReturnType<T>;
+type Generic = Bind1<MyFunctionType>; // (bar: string) => boolean