diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss
new file mode 100644
index 0000000000..8ee72fb52e
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/infer-dots.ss
@@ -0,0 +1,10 @@
+#lang typed-scheme
+
+(require typed-scheme/private/extra-procs)
+
+#;(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
+
+(: g (Integer Integer Integer  -> Integer))
+(define (g x y  z) 0)
+
+(map* g (list 1 2 3) (list 4 5 6))
diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.ss
new file mode 100644
index 0000000000..63ad19a5e1
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/infer-dots.ss
@@ -0,0 +1,10 @@
+#lang typed-scheme
+
+(require typed-scheme/private/extra-procs)
+
+(: f (Integer Integer -> Integer))
+(define (f x y) (+ x y))
+
+(map* f (list 1 2 3) (list 10 20 30))
+
+#;(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30))
\ No newline at end of file