Struct BranchLabelInfo 

pub struct BranchLabelInfo {
    pub common_predecessor: FlowId,
    pub has_name_assigns: bool,
    pub has_index_assigns: bool,
    pub has_casts_or_implfunc: bool,
    pub has_inner_conditions: bool,
}

Metadata for BranchLabel nodes that enables the merge-skip optimisation.

When the backward flow walk hits a BranchLabel, it normally merges the types from every antecedent branch. For variables NOT modified in any branch (and all branches are alive), the merge is guaranteed to produce the same type as the node before the branch (common_predecessor). The walk can skip directly to that predecessor, turning an O(branches × depth) merge into O(1).

Fields

common_predecessor: FlowId

FlowId of the node immediately before the if/elseif/else split.

has_name_assigns: bool

true when any Assignment(_, NameOnly|Mixed) node was created inside the branches — meaning a local/global name may have been reassigned.

has_index_assigns: bool

true when any Assignment(_, IndexOnly|Mixed) node was created inside the branches — meaning a field/index may have been reassigned.

has_casts_or_implfunc: bool

true when any ImplFunc or TagCast node was created inside the branches — these can modify the type of a named or indexed variable.

has_inner_conditions: bool

true when any TrueCondition or FalseCondition node was created inside the branch blocks (not the outer if’s condition). Assert-like patterns create inner conditions that can narrow variables beyond what the outer condition/merge would cancel out.

Trait Implementations

impl Clone for BranchLabelInfo

fn clone(&self) -> BranchLabelInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BranchLabelInfo

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

Formats the value using the given formatter.