diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt
index 9729e10f7e..82ae6130e1 100644
--- a/collects/typed-racket/private/type-contract.rkt
+++ b/collects/typed-racket/private/type-contract.rkt
@@ -190,6 +190,9 @@
         [(Vector: t)
          (when flat? (exit (fail)))
          #`(vectorof #,(t->c t))]
+        [(HeterogenousVector: ts)
+         (when flat? (exit (fail)))
+         #`(vector/c #,@(map t->c ts))]
         [(Box: t)
          (when flat? (exit (fail)))
          #`(box/c #,(t->c t))]