Enum RegionTag 

pub enum RegionTag {
    Const,
    In,
    Out,
    Scratch,
}

The four arena regions a cross-region return value may reach, in the fixed ABI layout order [const_data | in_buf | out_buf | scratch]. Used only to label which region a multi-region span landed in for diagnostics; the verifier itself treats them uniformly.

Variants

Const

Const-data pool at arena offset 0.

In

Input buffer (in_ptr..in_ptr+in_len) — parameter-sourced data.

Out

Output buffer (out_ptr..out_ptr+out_cap) — the object head and const-pool / copied tails.

Scratch

Scratch region (scratch_base..arena_size).

Implementations

impl RegionTag

pub fn label(self) -> &'static str

Short region label for diagnostics.

Trait Implementations

impl Clone for RegionTag

fn clone(&self) -> RegionTag

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RegionTag

impl Debug for RegionTag

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

Formats the value using the given formatter.

impl Eq for RegionTag

impl PartialEq for RegionTag

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