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