diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt
index ed1b105a..a96d5e80 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -963,8 +963,7 @@
                                [(-HashTop (Univ Univ . -> . c)) (-lst c)]))]
 [hash-for-each (-poly (a b c) (cl-> [((-HT a b) (-> a b c)) -Void]
                                     [(-HashTop (-> Univ Univ c)) -Void]))]
-[hash-count (-poly (a b) (cl-> [((-HT a b)) -Index]
-                               [(-HashTop) -Index]))]
+[hash-count (-> -HashTop -Index)]
 [hash-empty? (-> -HashTop -Boolean)]
 [hash-keys (-poly (a b) (cl-> [((-HT a b)) (-lst a)]
                               [(-HashTop) (-lst Univ)]))]