diff --git a/collects/tests/typed-racket/succeed/hash-literal.rkt b/collects/tests/typed-racket/succeed/hash-literal.rkt
new file mode 100644
index 00000000..1c24f8e0
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/hash-literal.rkt
@@ -0,0 +1,4 @@
+#lang typed/racket
+
+(define: x : (HashTable String String) #hash())
+(ann #hash() (HashTable String String))
diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt
index d7e37944..50940566 100644
--- a/collects/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt
@@ -111,7 +111,7 @@
           (let* ([h (syntax-e #'i)]
                  [ks (hash-map h (lambda (x y) (tc-literal x k)))]
                  [vs (hash-map h (lambda (x y) (tc-literal y v)))])
-            (make-Hashtable (generalize (check-below (apply Un ks)) k) (generalize (check-below (apply Un vs)))))]
+            (make-Hashtable (generalize (check-below (apply Un ks) k)) (generalize (check-below (apply Un vs) v))))]
          [_ (let* ([h (syntax-e #'i)]
                    [ks (hash-map h (lambda (x y) (tc-literal x)))]
                    [vs (hash-map h (lambda (x y) (tc-literal y)))])