Method charge_step

compiler/src/modules/vm/dispatch.rs:780–786

(&mut self)

    /* Charge one unit against the op budget; for native loops (custom-iterator drain, generator collect) that bypass the dispatch back-edge counter. */
    #[inline]
    pub(crate) fn charge_step(&mut self) -> Result<(), VmErr> {
        if !self.sandbox_off {
            if self.budget == 0 { return Err(cold_budget()); }
            self.budget -= 1;
        }
        Ok(())
    }

    /* Charge `n` units at once; for native builtins (sort, materialise) whose cost scales with input size. */
    #[inline]