Struct CallIndirectSpec 

pub struct CallIndirectSpec {
    pub table_size: u32,
    pub may_have_null_slot: bool,
    pub heterogeneous_expected_type: Option<u32>,
}

Module facts that define the WASM-side call_indirect trap condition (VCR-VER-002, #166): what the SPEC demands for the dispatched table, to be checked against the guards the selector actually resolved into the ArmOp::CallIndirect pseudo-op.

Fields

table_size: u32

The dispatched table’s element count (compile-time, per #642).

may_have_null_slot: bool

Whether the table may contain uninitialized (null) slots — if so, the lowering MUST carry the #664 null check.

heterogeneous_expected_type: Option<u32>

Some(expected_type_id) when the table is heterogeneous and WASM’s §4.4.8 type check must be discharged at RUNTIME (#676); None when the closed-world verdict discharges it at compile time.

Trait Implementations

impl Clone for CallIndirectSpec

fn clone(&self) -> CallIndirectSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallIndirectSpec

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

Formats the value using the given formatter.

impl Eq for CallIndirectSpec

impl PartialEq for CallIndirectSpec

fn eq(&self, other: &CallIndirectSpec) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CallIndirectSpec