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