pub fn trace_make_move_vec(
context: &mut ExecutionContext<'_, '_, '_>,
trace_builder_opt: &mut Option<MoveTraceBuilder>,
move_values: Vec<ExtMoveValueInfo>,
type_: &Type,
) -> Result<(), ExecutionError>
Expand description
Inserts make move vec event into the trace. 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.