1 Regression test for optimizing's type propagation: 2 If a phi requests its inputs to be of a certain type, the inputs need 3 to propagate that type to their users, as those users might be phis. 4
