Struct WscFact 

pub struct WscFact {
    pub func_index: u32,
    pub value_id: u32,
    pub kind: FactKind,
}

One proven invariant forwarded by loom, keyed by (function index, value id). value_id is the 0-based index of the producing operator within the function body’s operator sequence — the same index space as FunctionOps::ops/FunctionOps::op_offsets (loom#231 Q1; see the encoding doc’s “Value identification”). Phase 1 stores facts verbatim; an out-of-range value_id is vacuous and a Phase-2 consumer must ignore it.

Fields

func_index: u32

Full wasm function index (imported functions first, then local ones) — the same space as FunctionOps::index.

value_id: u32

0-based producing-operator index within the function body (see above).

kind: FactKind

The invariant itself.

Trait Implementations

impl Clone for WscFact

fn clone(&self) -> WscFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WscFact

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

Formats the value using the given formatter.

impl Eq for WscFact

impl PartialEq for WscFact

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