diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 6438a24eaa..042039c273 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -727,6 +727,8 @@
 [hash-weak? (-> -HashTop B)]
 ;; not a very useful type, but better than nothing
 [hash (-poly (a b) (-> (-HT a b)))]
+[hasheqv (-poly (a b) (-> (-HT a b)))]
+[hasheq (-poly (a b) (-> (-HT a b)))]
 [make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
 [make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
 [make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]