Use in-directory in typed racket

[Antigen-1]

What version of Racket are you using?
Welcome to Racket v8.16 [cs].

What program did you run?

$ racket -l typed/racket -i
> in-directory
- : (->* () ((U False Path-String) (-> Path Any)) (Sequenceof Path))
#<procedure:in-directory>
> (for ((p (in-directory #f (lambda ((_ : Path-String)) #f))))
    p)
string:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: initial-state
  from module: for.rkt
  in: (for ((p (in-directory #f (lambda ((_ : Path-String)) #f)))) p)
 [,bt for context]

What should have happened?
This form should have been evaluated successfully.

If you got an error message, please include it here.

Please include any other relevant details

$ uname -a
Linux fedora 6.13.5-102.bazzite.fc41.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Feb 28 10:23:59 UTC 2025 x86_64 GNU/Linux

[robertDurst]

Still able to reproduce:

➜  Racket racket -l typed/racket -i
Welcome to Racket v8.17 [cs].
> in-directory
- : (->* () ((U False Path-String) (-> Path Any)) (Sequenceof Path))
#<procedure:in-directory>
> (for ((p (in-directory #f (lambda ((_ : Path-String)) #f))))
      p)
string:1:0: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: initial-state
  from module: for.rkt
  in: (for ((p (in-directory #f (lambda ((_ : Path-String)) #f)))) p)
 [,bt for context]
> user break [,bt for context]

Unless someone else is, happy to dig in here.