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