restriction
fun restrictionForConstant(constant: A_BasicObject, encoding: TypeRestriction.RestrictionFlagEncoding): TypeRestriction
Create or reuse a TypeRestriction, for which no constant information is provided (but might be deduced from the type).
If the requested register encoding is BOXED_FLAG, also flag the restriction as IMMUTABLE_FLAG.
Return
The new or existing canonical TypeRestriction.
Parameters
constant
The sole Avail value that this restriction permits.
encoding
A RestrictionFlagEncoding indicating the type of register that will hold this value (BOXED_FLAG, UNBOXED_INT_FLAG, or UNBOXED_FLOAT_FLAG).