pub fn check_references_on_stack(
refs: &[ReferenceValue],
) -> Result<(), InvocationError>Expand description
Checks that the list of references is contiguous on the stack and ends at ap - 1. This is the requirement for function call and return statements.