diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.ss
new file mode 100644
index 00000000..14830465
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/nested-poly.ss
@@ -0,0 +1,5 @@
+#lang typed-scheme
+
+(: f (All (A ...) (All (B ...) (A ... A -> Int))))
+
+(define (f . xs) 5)
\ No newline at end of file