`typed/racket/base/shallow` hangs when recursive types are in a separate module

[NoahStoryM]

What version of Racket are you using?
v8.15 [cs]

What program did you run?

#lang typed/racket/base/shallow

(displayln 'start)

(module goto racket/base
  (provide goto label)
  (define (goto l) (l l))
  (define (label) (call/cc goto)))

(module types typed/racket/base
  (provide Goto Label)
  (define-type (Goto a) (∪ a (→ a Nothing)))
  (define-type Label (Goto Label)))

(require 'types)
(require/typed/provide 'goto
  [label (∀ (a) (→ (→ a Nothing)))]
  [goto Label])

What should have happened?

The program should print start and then terminate, similar to the following working examples:

#lang typed/racket/base/shallow

(displayln 'start)

(module goto racket/base
  (provide goto label)
  (define (goto l) (l l))
  (define (label) (call/cc goto)))

(define-type (Goto a) (∪ a (→ a Nothing)))
(define-type Label (Goto Label))

(require/typed/provide 'goto
  [label (∀ (a) (→ (→ a Nothing)))]
  [goto Label])

#lang typed/racket/base/optional

(displayln 'start)

(module goto racket/base
  (provide goto label)
  (define (goto l) (l l))
  (define (label) (call/cc goto)))

(module types typed/racket/base
  (provide Goto Label)
  (define-type (Goto a) (∪ a (→ a Nothing)))
  (define-type Label (Goto Label)))

(require 'types)
(require/typed/provide 'goto
  [label (∀ (a) (→ (→ a Nothing)))]
  [goto Label])

If you got an error message, please include it here.

No error message is displayed. The program simply hangs indefinitely after printing start.

[robertDurst]

@bennn did you ever get a chance to take a look at this? I am trying to find places to get my hands dirty and came across this issue - was able to reproduce:

showhang.mov

In the above I:

1. show I am on Racket 8.17
2. run the third text snippet from above, it completes ✅
3. run the first snippet from above, it hangs ⏲️