Misprediction of predicate on substruct

[samth]

#lang typed/racket #:no-optimize

(struct (A) foo ([x : A]))

(struct (A) baz foo ())

(define (f [i : Integer]) : (foo Integer)
  (baz i))

(if (baz? (f 1)) 1 2)

Behaves differently under optimization. Reported by Antonio Menezes Leitao on the mailing list.

[takikawa]

A variation on this program illustrates some unsound behavior (without the TR optimizer on even)

#lang typed/racket #:no-optimize

(struct (A) foo ([x : A]) #:mutable)

(struct (A) baz foo ())

(define (f [i : Integer]) : (foo Integer)
  (baz i))

(: x (foo Integer))
(define x (f 1))

(: y Any)
(define y x)

(if (baz? y) (set-foo-x! y "foo") 2)
(foo-x x)

Note that the result doesn't change with the optimizer on.