[racket-dev] Bug? identifier `make-Int' not included in nested require spec.

Am I doing some thing wrong or is it a bug?

#lang racket/load

(module UNTYPED racket/base
  (struct Int (elem))
  
  (provide (struct-out Int)))

(module TYPED typed/racket
  (require/typed 'UNTYPED
                 [struct Int ([elem  : Integer])]))

I get the following error

only-in: identifier `make-Int' not included in nested require spec in: (quote UNTYPED)

Hari