1 Regression test for the type propagation phase of the optimizing 2 compiler, that used to crash when dealing with phi floating-point 3 equivalents. 4
