typed/rackunit: incorrect syntax location in type error messages

[capfredf]

#lang typed/racket/base

(module+ test
  (require typed/rackunit)
  (+ 10 20)
  (+ 30 40)
  (check-equal? 10))

The error message is

hello.rkt:3:0: Type Checker: No function domains matched in function application:
Types: Any Any String  -> Any
       Any Any  -> Any
Arguments: Positive-Byte
Expected result: AnyValues

We expect the message to point us to the line where check-equal? is incorrectly used.