fn get_constraint<'entries, 'table>(
    operand: &'entries Operand,
    ctrl_typevar: Option<&TypeVar>,
    type_sets: &'table mut UniqueTable<'entries, TypeSet>
) -> String
Expand description

Get the value type constraint for an SSA value operand, where ctrl_typevar is the controlling type variable.

Each operand constraint is represented as a string, one of:

  • Concrete(vt), where vt is a value type name.
  • Free(idx) where idx is an index into type_sets.
  • Same, Lane, AsTruthy for controlling typevar-derived constraints.