Problems with unreachable code warnings

[samth]

#lang typed/racket
(define h2 : (HashTable Any Any)
  (for/hash ([i : Integer (in-list (list 1 2 3))])
    (values i i)))

In the above code, we warn 3 times for the same syntax (the full for/hash loop), and also it isn't really unreachable (something else with that source location is unreachable).

[rfindler]

I'm not sure if this is the same issue or not, but I see those messages with this program below.

Given that it has been more than a year here, perhaps it is time to turn off these messages entirely, as they are bogus? Turn them back on when someone is going to work on them, perhaps?

#lang typed/racket/base
(require/typed racket/base [read (-> (Listof (Listof Any)))])

(: f ([#:x (Listof Path)] -> Void))
(define (f #:x [blueboxes-dirs (for*/list ([d (in-list (read))]
                                           [c (in-list d)])
                                 : (Listof Path)
                                 (begin
                                   (/ 1 0)
                                   (build-path "a" "b")))])
  (void))

(parameterize ([current-input-port (open-input-string "((x))")])
  (f))

The program above produces this line 10 times:

Typed Racket has detected unreachable code: #<syntax:/Users/robby/git/plt/extra-pkgs/scribble/scribble-lib/scribble/x.rkt:5:31 (for*/list ((d (in-list (read...>