diff --git a/tests/cases/fourslash/quickInfoFunctionCheckType.ts b/tests/cases/fourslash/quickInfoFunctionCheckType.ts
new file mode 100644
index 0000000000000..813b920db3b2b
--- /dev/null
+++ b/tests/cases/fourslash/quickInfoFunctionCheckType.ts
@@ -0,0 +1,6 @@
+///<reference path="fourslash.ts" />
+
+////export type /**/Tail<T extends any[]> = ((...t: T) => void) extends (h: any, ...rest: infer R) => void ? R : never;
+
+verify.quickInfoAt("", "type Tail<T extends any[]> = ((...t: T) => void) extends (h: any, ...rest: infer R) => void ? R : never");
+