#;#;
#<<END
TR info: pr14380.rkt 11:15 foo -- struct constructor
END
#<<END
#<procedure:unbox>
#<procedure:magnitude>
#<procedure:list-ref>
#<procedure:+>
#<procedure:car>
#<procedure:string-length>
#<procedure:foo-x>

END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port

;; Test for PR14380. None of these should get optimized.

(begin0 unbox (box 3))
(begin0 magnitude 3.0+5.0i)
(begin0 list-ref '(a b c) 0)
(begin0 + 3)
(begin0 car '(a b))
(begin0 string-length "foo")
(struct foo ([x : String]))
(begin0 foo-x (foo "foo"))

Add more tests for PR 14380
Add more tests for PR 14380

Related to 07bde5063b5a3a83f61e85f00a1c6ce6e0a097d2
