Struct TableGuards 

pub struct TableGuards {
    pub table_size: Option<u32>,
    pub base_byte_offset: Option<u32>,
    pub type_reject: Vec<Option<String>>,
    pub has_null_slots: bool,
}

#642/#650: one table’s call_indirect guard inputs — see CallIndirectGuards for the layout contract and soundness argument.

Fields

table_size: Option<u32>

Compile-time size of this table (entries); None = no sound bound known (an imported table with growable limits).

base_byte_offset: Option<u32>

#650: byte offset of this table’s base within the contiguous R11 region — sum(size(0..N)) * 4, a compile-time constant. None when any PRECEDING table’s size is unknown (the base is then not a compile-time constant and the lowering declines).

type_reject: Vec<Option<String>>

Per expected-type index: None = closed-world type property VERIFIED against THIS table; Some(reason) = not verifiable (the lowering declines).

has_null_slots: bool

#664: whether this table’s image contains at least one uninitialized (null funcref) slot. WASM Core §4.4.8 requires a call_indirect reaching a null slot to TRAP — the closed-world type check verifies the INITIALIZED slots only, and the lowering must emit a runtime null check (pointer == 0 → trap) before the indirect branch when this is set. false for a fully-initialized table keeps today’s exact dispatch bytes (no null check) BY CONSTRUCTION. Only meaningful when the type verdict is None (verified); reject paths decline before it is consulted.

Trait Implementations

impl Clone for TableGuards

fn clone(&self) -> TableGuards

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TableGuards

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

Formats the value using the given formatter.

impl Default for TableGuards

fn default() -> TableGuards

Returns the “default value” for a type.

impl Eq for TableGuards

impl PartialEq for TableGuards

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