diff --git a/collects/tests/typed-scheme/fail/dot-intro.ss b/collects/tests/typed-scheme/fail/dot-intro.ss
new file mode 100644
index 0000000000..c42b0f4228
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/dot-intro.ss
@@ -0,0 +1,7 @@
+#lang typed-scheme
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  y)
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  (map add1 y))
\ No newline at end of file
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 0000000000..7afb8c1a0f
--- /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