intersection
Create the intersection of the receiver and the other TypeRestriction. This is the restriction that a register would have if it were already known to have the first restriction, and has been tested positively against the second restriction.
Return
The new type restriction.
Parameters
other
The other TypeRestriction to combine with the receiver to produce the intersected restriction.