diff --git a/collects/typed-scheme/infer/infer-unit.rkt b/collects/typed-scheme/infer/infer-unit.rkt
index 72ea4682..abad6da9 100644
--- a/collects/typed-scheme/infer/infer-unit.rkt
+++ b/collects/typed-scheme/infer/infer-unit.rkt
@@ -409,7 +409,10 @@
              (move-vars-to-dmap new-cset dbound vars))]
           [((ValuesDots: ss s-dty dbound) (ValuesDots: ts t-dty dbound))
            (when (memq dbound X) (fail! ss ts))          
-           (cgen/list V X (cons s-dty ss) (cons t-dty ts))]          
+           (cgen/list V X (cons s-dty ss) (cons t-dty ts))]
+          [((ListDots: s-dty dbound) (ListDots: t-dty dbound))
+           (when (memq dbound X) (fail! S T))
+           (cgen V X s-dty t-dty)]
           [((Vector: e) (Vector: e*))
            (cset-meet (cg e e*) (cg e* e))]
           [((Box: e) (Box: e*))