A problem caused by Recursive Parameter Type

[NoahStoryM]

What version of Racket are you using?

v7.8

What program did you run?

#lang typed/racket/base
(define-type Type1 (U Number (Parameter Type1)))
(define-type Type2 (U Type1 Symbol))
(ann (ann 123 Type1) Type2)

#lang typed/racket/base
(define-type Type1 (U Number (Parameter Type2)))
(define-type Type2 (U Type1 Symbol))
(ann (ann 123 Type1) Type2)

What should have happened?

123

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

The code all failed with the following message:

Type Checker: type mismatch
  expected: Type2
  given: Type1
  in: 123

[capfredf]

This issue has nothing to do with recursive types. It is due to how TR treats a parameter type internally. I have a quick fix, but I still need to sleep on it