Enum BindingMode 

pub enum BindingMode {
    Direct,
    OrDispatch,
}

R5.5, Decision C — OrDispatch iff IrPat::Or occurs anywhere in the arm’s own pattern tree, computed once by bynk_lower::lower_arm_ir.

Arm-level granularity, not node-level — worth being precise about, since emit_pattern_bindings (emitter/lower.rs:5401-5503) is not the single top-level check this doc comment used to claim: it is itself a recursive walk, and its Pattern::Or arm fires wherever an Or node occurs, at whatever depth — a nested Or inside a Variant payload really parses (Hit(a, Sub(b) | Other(b))) and really reaches it. So this flag answers “does any node in this arm’s pattern need let + per-alternative dispatch”, not “which node” — a consumer that needs the latter still walks IrPat’s own recursive shape to find it (P6.5’s own job, whichever future consumer needs it). What this flag removes is having to do that walk at all just to answer the yes/no question.

Variants

Direct

No Or anywhere in the pattern’s tree — every bound name can emit as a plain const.

OrDispatch

An Or occurs somewhere in the pattern’s tree — at least one shared name can bind at a different structural path across alternatives, so emission needs let plus a per-alternative dispatch somewhere in this arm (see this type’s own doc comment for why “somewhere” is as precise as this flag alone gets).

Trait Implementations

impl Clone for BindingMode

fn clone(&self) -> BindingMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingMode

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

Formats the value using the given formatter.

impl PartialEq for BindingMode

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

impl Eq for BindingMode

impl StructuralPartialEq for BindingMode