Fixture from T175283039, a reassignment within an expression can sometimes generate a StoreLocal within a value block. Depending on the case this can end up as the last instruction of the block, which then hits an invariant.