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