Seems like it lacks clarity though.  If we are using one variable for two different semantic meanings, I think that it is error prone.  In this case, I think that a union would make sense.