#;
(
TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float
TR opt: dead-else.rkt 14:13 (+ 4.0 5.0) -- dead else branch
TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float
TR opt: dead-else.rkt 17:13 (+ 4.0 5.0) -- dead else branch
5.05.0)

#lang typed/scheme
#:optimize

(display (if (number? 3)
             (+ 2.0 3.0)
             (+ 4.0 5.0)))
(display (if #t
             (+ 2.0 3.0)
             (+ 4.0 5.0)))
