pub fn add_move_value_info_from_value(
context: &mut ExecutionContext<'_, '_, '_>,
trace_builder_opt: &mut Option<MoveTraceBuilder>,
move_values: &mut Vec<ExtMoveValueInfo>,
type_: &Type,
value: &Value,
) -> Result<(), ExecutionError>
Expand description
Adds ExtMoveValueInfo
to the mutable vector passed as an argument.
As is the case for all other public functions in this module,
its body is (and must be) enclosed in an if statement checking if tracing is enabled.