intersection
fun intersectionWithObjectVariant(variantToIntersect: ObjectLayoutVariant): TypeRestriction
Content copied to clipboard
Create the intersection of the receiver with the given object variant ObjectLayoutVariant. This is the restriction that a register would have if it were already known to satisfy the receiver restriction, and has had its variant tested positively against the given variant.
Return
The new TypeRestriction.
Parameters
variant
The ObjectLayoutVariant to combine with the receiver to produce an intersected restriction.