union
Create the union of the receiver and the other TypeRestriction. This is the restriction that a register would have if it were assigned from one of two sources, each having one of the restrictions.
Return
The new type restriction.
Parameters
other
The other TypeRestriction to combine with the receiver to produce the output restriction.