Add a test to clarify the semantics of the immediate-assign hack.