diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
new file mode 100644
index 00000000..7afb8c1a
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -0,0 +1,9 @@
+#lang typed-scheme
+
+(define x
+  (plambda: (a ...) ([x : Number] . [y : Number ... a])
+    (ormap zero? (map add1 y))))
+
+(define y
+  (plambda: (a ...) ([x : Number] . [y : a ... a])
+    (ormap null? (map list y))))
\ No newline at end of file