Struct DispatchEntry 

pub struct DispatchEntry {
    pub cell: DefinitionId,
    pub narrowable: bool,
    pub fallback: DirectEffects,
}

A per-dispatch entry in a factored effect row (docs/effects-spec.md §7): the row a call through a dispatch cell contributes, whether that dispatch is runtime-narrowable (its cell is not in the entry’s own write set), and the static fallback row used when narrowing does not apply.

v1 emits none of these (call-through-value is inferred as opaque, folded into the direct part) — but the encoding ships the structure now, because a flat row structurally forecloses the §7 narrowing the host will do at schedule-commit. The reader round-trips a populated dispatch list so writer and reader stay paired (the #742 lesson).

Fields

cell: DefinitionId

The dispatch cell whose live fn tokens the host may narrow against.

narrowable: bool

Whether this dispatch is statically narrowable (docs/effects-spec.md §7 soundness gate: the cell is not in the entry’s own write set).

fallback: DirectEffects

The static fallback row — the conservative join used when the host does not (or cannot) narrow.

Trait Implementations

impl Clone for DispatchEntry

fn clone(&self) -> DispatchEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DispatchEntry

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

Formats the value using the given formatter.

impl Eq for DispatchEntry

impl PartialEq for DispatchEntry

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DispatchEntry