diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt
index 6a962912de..2a30d0c0e0 100644
--- a/collects/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt
@@ -209,8 +209,9 @@
   (match (tc-expr/check e t)
     [(tc-result1: t) t]))
 
-(define (tc-expr/check/type form expected)
-  #;(syntax? Type/c . -> . tc-results/c)
+;; typecheck an expression by passing tr-expr/check a tc-results
+(define/cond-contract (tc-expr/check/type form expected)
+  (--> syntax? Type/c tc-results/c)
   (tc-expr/check form (ret expected)))
 
 (define (tc-expr/check form expected)