Struct Region 

pub struct Region {
    pub start: usize,
    pub end: usize,
}

A half-open byte window [start, end) inside the arena that a value is required to be self-contained in. start <= end is enforced by Region::new; every offset the verifier follows must satisfy start <= off and the introduced span must end at or before end.

Fields

start: usize

First byte of the region (inclusive), as an absolute index into the verified byte slice.

end: usize

One past the last byte of the region (exclusive).

Implementations

impl Region

pub fn new(start: usize, end: usize) -> Result<Self, VerifyError>

Build a region, returning VerifyError::DegenerateRegion when start > end (a caller bug — the arena layout never produces an inverted window).

Trait Implementations

impl Clone for Region

fn clone(&self) -> Region

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Region

impl Debug for Region

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

Formats the value using the given formatter.

impl Eq for Region

impl PartialEq for Region

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