Enum TypeTrap 

pub enum TypeTrap<'a> {
    Runtime {
        actual_type_id: &'a BV,
        expected_id: &'a BV,
    },
    StaticallyDischarged,
}

The type-check mode of a call_indirect, per its table — the synth-BV mirror of ordeal::trap::TypeTrap.

Variants

Runtime

Heterogeneous table: the element type is checked at runtime against the call’s expected type id.

Fields

actual_type_id: &'a BV

The table element’s runtime type-id term.

expected_id: &'a BV

The call site’s expected type-id term.

StaticallyDischarged

Closed-world / homogeneous table: the signature is discharged at compile time by the selector (synth’s default — ArmOp::CallIndirect.type_check is None), so there is no runtime type-id and the type clause is false.