check-syntax doesn't see prefix-in imports from TR

[jbclements]

It appears that prefix-in imports from TR files to racket are "invisible" to check-syntax in the sense that hovering over the require shows it as block red (unused import) and hovering over the bound identifier shows no arrow and the tooltip "no bound uses" (ironic, because this is in fact a bound use). Er... Okay, just tried it again and now I just get no tooltip or arrow at all.

In file a.rkt:

#lang typed/racket
(provide a)
(define a 134)

in file b.rkt:

#lang racket
(require (prefix-in abc: "a.rkt"))
(+ abc:a 34)

Wait for background expansion to finish, then hover over abc:a in file b.rkt