Enum VerifyError 

pub enum VerifyError {
    DegenerateRegion {
        start: usize,
        end: usize,
    },
    BufferShorterThanRegion {
        have: usize,
        end: usize,
    },
    FixedSlotOutOfRegion {
        field: String,
        offset: usize,
        size: usize,
        start: usize,
        end: usize,
    },
    OutOfRegion {
        field: String,
        what: &'static str,
        offset: usize,
        len: usize,
        start: usize,
        end: usize,
    },
    SpanOverflow {
        field: String,
        what: &'static str,
    },
    UnsupportedType {
        field: String,
        ty: &'static str,
    },
    NoRegion {
        field: String,
        what: &'static str,
        offset: usize,
        len: usize,
    },
    DepthExceeded {
        field: String,
        depth: usize,
    },
}

Why a verifier walk rejected a buffer. Every variant names the field (and where useful the offending offset / span) so a host can surface a precise diagnostic. The verifier returns these instead of reading out of bounds or panicking.

Variants

DegenerateRegion

A Region was constructed with start > end.

Fields

start: usize

Requested region start.

end: usize

Requested region end.

BufferShorterThanRegion

The byte slice handed to the verifier is shorter than the region’s end — the caller’s region bounds don’t fit the data.

Fields

have: usize

Actual byte length of the slice.

end: usize

Region end the caller asserted.

FixedSlotOutOfRegion

A fixed-area slot (or the root_size window) does not fit inside the region. Indicates a truncated record or a wrong region base.

Fields

field: String

Field whose fixed-area slot is out of bounds.

offset: usize

Slot start offset.

size: usize

Slot byte size.

start: usize

Region start.

end: usize

Region end.

OutOfRegion

A pointer-indirect offset (a u32 slot value, a list-entry pointer, a length prefix, or a payload span) escapes the region. This is the cross-region / out-of-bounds catch.

Fields

field: String

Field being walked.

what: &'static str

What kind of span tripped the check (e.g. "length prefix").

offset: usize

Span start.

len: usize

Span byte length.

start: usize

Region start.

end: usize

Region end.

SpanOverflow

A usize add overflowed while computing a span end — a hostile or corrupt buffer carrying a near-u32::MAX offset / length.

Fields

field: String

Field being walked.

what: &'static str

What span overflowed.

UnsupportedType

The schema named a type the verifier does not model (it should never reach here — the layout pass rejects unsupported types first — but we surface it loudly rather than skip the check).

Fields

field: String

Field carrying the unmodelled type.

ty: &'static str

Human-readable type label.

NoRegion

A multi-region walk followed a pointer whose arena-absolute span [offset, offset+len) fits inside no arena region (or starts in one region but runs past its end). The cross-region catch: a pointer must land fully inside exactly one of const / in / out / scratch, never between or past them.

Fields

field: String

Field being walked.

what: &'static str

What kind of span tripped the check.

offset: usize

Absolute span start.

len: usize

Span byte length.

DepthExceeded

A recursion-depth guard tripped: the schema nests deeper than the verifier’s bound. Protects against a hand-built schema that recurses without bound (the runtime schemas are acyclic, but a verifier must not be DoS-able by a hostile layout).

Fields

field: String

Field at which the guard tripped.

depth: usize

The depth bound that was hit.

Trait Implementations

impl Clone for VerifyError

fn clone(&self) -> VerifyError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyError

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

Formats the value using the given formatter.

impl Display for VerifyError

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

Formats the value using the given formatter.

impl Eq for VerifyError

impl Error for VerifyError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for VerifyError

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