Fix tc/pass2.

Closes PR14148.

original commit: d6935f536516196e78a9301a2b33b02204feb9be

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt

@@ -236,6 +236,8 @@
        (void)]
 
       ;; definitions just need to typecheck their bodies
+      [(define-values () expr)
+       (tc-expr/check #'expr (ret empty))]
       [(define-values (var ...) expr)
        (unless (for/and ([v (in-syntax #'(var ...))])
                  (free-id-table-ref unann-defs v (lambda _ #f)))

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/define-zero-values.rkt

@@ -0,0 +1,3 @@
+#lang typed/racket
+
+(define-values () (+ 1 "x"))