diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/generalize.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/generalize.rkt
index 9956769f..cba2f6ee 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/generalize.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/generalize.rkt
@@ -20,6 +20,7 @@
         [(Value: '()) (-lst Univ)]
         [(Value: 0) -Int]
         [(List: ts) (-lst (apply Un ts))]
+        [(? (lambda (t) (subtype t -Bottom))) Univ]
         [(? (lambda (t) (subtype t -Int))) -Int]
         [(? (lambda (t) (subtype t -Rat))) -Rat]
         [(? (lambda (t) (subtype t -Flonum))) -Flonum]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt
index 714ec574..5a584a93 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1692,6 +1692,7 @@
    (tc-l #"foo" -Bytes)
    [tc-l () (-val null)]
    [tc-l (3 . 4) (-pair -PosByte -PosByte)]
+   [tc-l #hash() (make-Hashtable Univ Univ)]
    [tc-l #hash((1 . 2) (3 . 4)) (make-Hashtable -Integer -Integer)]
    [tc-l #hasheq((a . q) (b . w)) (make-Hashtable -Symbol -Symbol)])
    [tc-l #hash{[:a . :b]}