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