restriction
fun restrictionForType(type: A_Type, encoding: TypeRestriction.RestrictionFlagEncoding): TypeRestriction
Create or reuse a TypeRestriction, for which no constant information is provided (but might be deduced from the type).
Return
The new or existing canonical TypeRestriction.
Parameters
type
The Avail type that constrains some value somewhere.
encoding
A RestrictionFlagEncoding indicating the type of register that will hold this value (BOXED_FLAG, UNBOXED_INT_FLAG, or UNBOXED_FLOAT_FLAG).