fn transform_assert_messages<F: Clone>(
assert_messages: Vec<(OpcodeLocation, AssertionPayload<F>)>,
map: &AcirTransformationMap,
) -> Vec<(OpcodeLocation, AssertionPayload<F>)>
Expand description
Update the assert messages to point to the new opcode locations.