Enum TagResKind 

pub enum TagResKind {
    AllUntouched,
    AllInt,
    Mixed,
}

Derive an ExitTag vector from a per-slot RegKind snapshot. Unset slots restore via the dispatcher’s entry tags (trace didn’t touch them); writers (including Nil, see P12-S6-A1) translate one-to-one to a tag the dispatcher packs without consulting the entry tag. P13-S13-E — fast-path classification of an exit_tags vector. Lets the dispatcher’s restore loop skip per-slot match-arm dispatch when the entire vector resolves to a single trivial pattern.

Variants

AllUntouched

Every slot’s tag is Untouched. The trace didn’t override any slot’s exit type; vm.stack already holds the right values from either marshal-in or trace spill helpers. Dispatcher skips the restore loop.

AllInt

Every slot’s tag is Int. Dispatcher writes Value::Int(reg_state[i]) per slot without a match arm.

Mixed

Anything else — fall back to the original loop with per-iter match.

Trait Implementations

impl Clone for TagResKind

fn clone(&self) -> TagResKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TagResKind

impl Debug for TagResKind

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

Formats the value using the given formatter.

impl Eq for TagResKind

impl PartialEq for TagResKind

fn eq(&self, other: &TagResKind) -> 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 StructuralPartialEq for TagResKind