diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
index 7afb8c1a..72c1f684 100644
--- a/collects/tests/typed-scheme/succeed/dot-intro.ss
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -6,4 +6,11 @@
 
 (define y
   (plambda: (a ...) ([x : Number] . [y : a ... a])
-    (ormap null? (map list y))))
\ No newline at end of file
+    (ormap null? (map list y))))
+
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  y)
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  (map add1 y))
\ No newline at end of file