1Regression test for the reference type propagation pass 2of the optimizing compiler that used to break invariants. 3