diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt
index 77fd3baf..8c4b1e62 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-values.rkt
@@ -22,6 +22,8 @@
     (match (tc/funapp #'prod #'() (tc-expr/t #'prod) null #f)
       [(tc-results: ts fs os)
        (tc/funapp #'con #'(prod) (tc-expr/t #'con) (map ret ts fs os) expected)]
+      [(tc-results: ts fs os drest dbound)
+       (tc-error/expr "`call-with-values` with ... is not supported")]
       [(tc-any-results: _)
        (tc/app-regular this-syntax expected)]))
   ;; special case for `values' with single argument