Enum RegionOutcome 

pub enum RegionOutcome {
    Completed,
    Deopt,
    DeoptAt {
        resume_pc: usize,
    },
}

What one native region run produced.

Variants

Completed

The region ran to its exit; write-back may proceed.

Deopt

Side exit: discard the private frame (NO write-back) and let the bytecode loop re-run from the head — VM registers are untouched, so the replay recomputes deterministically up to the faulting op.

DeoptAt

PRECISE side exit: the region’s non-array scalar registers are live in the frame; materialize them into the VM registers and resume the bytecode AT resume_pc (the faulting op) — no replay-from-head, no buffer truncate. This is the contract that lets a region with a ListPush coexisting with an in-place SetIndex (BFS-style worklists) tier up soundly: completed iterations’ effects stand, and the faulting op re-runs once on bytecode (raising the exact error or continuing).

Fields

resume_pc: usize

Trait Implementations

impl Clone for RegionOutcome

fn clone(&self) -> RegionOutcome

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RegionOutcome

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for RegionOutcome

fn eq(&self, other: &RegionOutcome) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RegionOutcome

impl Eq for RegionOutcome

impl StructuralPartialEq for RegionOutcome