avail/avail.interpreter.levelTwo.operand/TypeRestriction/minusObjectTypeVariant

minusObjectTypeVariant

fun minusObjectTypeVariant(variantToRemove: ObjectLayoutVariant): TypeRestriction
Content copied to clipboard

Create the difference between the receiver and the given object type 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 negatively against the supplied variant.

Return

The new TypeRestriction.

Parameters

variantToRemove

The ObjectLayoutVariants to exclude from the receiver to produce a difference restriction.