~a seems wonky in Typed Racket?

tilde-a.rkt

#lang typed/racket
(~a 1)

;; racket /tmp/tr.rkt
;; /tmp/tr.rkt:1:0: Type Checker: untyped identifier apply-contract imported from module <private/base.rkt>
;;   in: #%module-begin
;;   context...:
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:98:12: for-loop
;;    f18
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:227:0: type-check
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:45:0: tc-setup/proc
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
;;    standard-module-name-resolver
;; /tmp/tr.rkt:1:0: Type Checker: untyped identifier provide/contract-contract-id-~a imported from module <racket/format>
;;   in: #%module-begin
;;   context...:
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:98:12: for-loop
;;    f18
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:227:0: type-check
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:45:0: tc-setup/proc
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
;;    standard-module-name-resolver
;; /tmp/tr.rkt:1:0: Type Checker: untyped identifier ~a imported from module <racket/format>
;;   in: #%module-begin
;;   context...:
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:98:12: for-loop
;;    f18
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:227:0: type-check
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:45:0: tc-setup/proc
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
;;    standard-module-name-resolver
;; /tmp/tr.rkt:1:0: Type Checker: untyped identifier pos-module-source imported from module <racket/format>
;;   in: #%module-begin
;;   context...:
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:98:12: for-loop
;;    f18
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:227:0: type-check
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:45:0: tc-setup/proc
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
;;    standard-module-name-resolver
;; Type Checker: Summary: 4 errors encountered
;;   context...:
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:227:0: type-check
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:45:0: tc-setup/proc
;;    /Applications/Racket_v5.93/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:53:4
;;    standard-module-name-resolver