diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss
index 0ff8aedc..7ea9391d 100644
--- a/collects/tests/typed-scheme/succeed/dotted-identity.ss
+++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss
@@ -8,3 +8,9 @@
 
 #{(f y) :: (Integer Integer -> Integer)}
 
+(: z (Integer * -> Integer))
+(define (z . xs) (apply + xs))
+
+((f z) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18)
+#;
+#{(f z) :: (Integer * -> Integer)}
\ No newline at end of file