diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss
index 8ee72fb52e..6173f66b78 100644
--- a/collects/tests/typed-scheme/fail/infer-dots.ss
+++ b/collects/tests/typed-scheme/fail/infer-dots.ss
@@ -4,7 +4,15 @@
 
 #;(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
 
-(: g (Integer Integer Integer  -> Integer))
-(define (g x y  z) 0)
+;; Arity mismatch.
+(: g (Integer Integer Integer -> Integer))
+(define (g x y z) 0)
 
 (map* g (list 1 2 3) (list 4 5 6))
+
+;; Can't use a starred function with more fixed args
+;; for a dotted function.
+(: h (Integer Integer Integer * -> Integer))
+(define (h x y . z) 0)
+
+(map* h (list 1 2 3) (list 4 5 6))