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