fix ->i dependency check

pkgs/racket-test/tests/racket/contract/arrow-i.rkt

@@ -137,6 +137,10 @@
           #:rest [x (x) number?]
           any))
   
+  (contract-syntax-error-test
+   '->i-stx23
+   #'(->i ([f (f x) any/c]) (#:x [x any/c]) [res any/c]))
+  
   (test/spec-passed
    '->i1
    '((contract (->i () () [x number?]) (lambda () 1) 'pos 'neg)))

racket/collects/racket/contract/private/arr-i-parse.rkt

@@ -250,8 +250,8 @@ code does the parsing and validation of the syntax.
           [else
            (let ([new-visited (cons var visited)])
              (for ([neighbor (in-list (free-identifier-mapping-get neighbors var))])
-               (loop neighbor new-visited)
-               (free-identifier-mapping-put! safe var #t)))])))))
+               (loop neighbor new-visited))
+             (free-identifier-mapping-put! safe var #t))])))))
 
 ;; trim-at : identifier? (listof identifier?) -> (listof identifier?)
 ;; returns the shortest prefix of vars that ends with var