Type tooltips show up in untyped file

[bdeket]

Using: Welcome to DrRacket, version 8.3.0.8--2021-11-19(c7a8d7f/a) [3m]

When hovering over the code, wrong type information is displayed. Minimal example: mouse position shown with arrow. The type-tooltip information is the same as if hovering over the last parenthesis of the struct form in the typed file.

In my working code, sometimes different letters of the same variable give different types. The current file is in #lang racket/base and it has an inderect dependency on a typed file.

[bdeket]

I don't know what changed, but this is not happening anymore. So closing. (I checked with version 8.7.0.2 [3m] where it is solved and with version 8.6.0.4--2022-08-16(fcc2c6ed27/a) [3m] where it is still happening but only with slightly different programs:

;typed.rkt
#lang typed/racket/base

(provide (all-defined-out))
(struct test ([a : Real]
              [b : (List Symbol)]))
(define a test)
a

#lang racket/base

(require "typed.rkt")

(define (something b)
                  (list b))
something

at the location of the final g of something )