diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
index 05eb414eef..26ee7443f3 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
@@ -92,7 +92,7 @@
                         range))
             => finish]
            ;; the function has no rest argument, but provides all the necessary fixed arguments
-           [(and (not rest) (not drest) (not tail-bound)
+           [(and (not rest) (not drest)
                  (infer vars null
                         (list (-Tuple* arg-tys full-tail-ty))
                         (list (-Tuple domain))