Binding arrow when an identifier comes from another file

[sorawee]

Consider files a.rkt and b.rkt

;; a.rkt
#lang racket

(provide smuggled-id)

(define-syntax smuggled-id #'foo)

;; b.rkt
#lang racket

;provide smuggled-id)

;define-syntax smuggled-id #'foo)

(require "a.rkt")

(define-syntax (mac stx)
  #`(let ([#,(syntax-local-introduce (syntax-local-value #'smuggled-id))
           #f])
      #f))

(mac)

Hovering over foo in b.rkt will show "no bound occurrences", despite the fact that this foo is a comment.

[sorawee]

lol looks like this is fixed this morning! Closing.