diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
index 65bc6b69..7744c526 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
@@ -405,7 +405,9 @@
                   (fail #:reason (~a "cannot generate contract for case function type"
                                      " with optional keyword arguments")))
                 (if case->
-                  (arr/sc (map t->sc/neg dom) (and rst (t->sc/neg rst)) (map t->sc rngs))
+                  (arr/sc (process-dom (map t->sc/neg dom))
+                          (and rst (t->sc/neg rst))
+                          (map t->sc rngs))
                   (function/sc
                     (process-dom (map t->sc/neg dom))
                     null