Closes PR14589.

original commit: bacbafad9fa223c0ae4ae1bdc8a748b4f54369ce

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/for-clauses.rkt

@@ -20,7 +20,7 @@
                                        ((v.ann-name ...) seq-expr)))
            #:with (expand* ...) (list (quasisyntax/loc #'c
                                         ((v.ann-name ...) seq-expr))
-                                      #'#:when #'#t))
+                                      #'#:when #''#t))
   ;; Note: #:break and #:final clauses don't ever typecheck
   (pattern (~seq (~and kw (~or #:when #:unless #:break #:final)) guard:expr)
            #:with (expand ...) (list #'kw #'guard)

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/for-hash.rkt

@@ -76,3 +76,7 @@
 (for/hash: : (HashTable Symbol Symbol)
     ((v : Symbol '(a b c)))
   (values v v))
+
+(for/hash: : (HashTable Symbol Symbol)
+    ([(k b) (in-hash (make-immutable-hash '((a . a) (b . b))))])
+  (values k b))