diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss
index 80bd8ab4..51e18385 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss
@@ -206,7 +206,7 @@
     (let ([ty (cond [(type-ascription form) => (lambda (ann)
                                                  (let ([r (tc-expr/check/internal form ann)])
                                                    (check-below r expected)
-                                                   expected))]
+                                                   #;expected))]
                     [else (tc-expr/check/internal form expected)])])
       (match ty
         [(tc-results: ts fs os)