Struct ControlFlowFact 

pub struct ControlFlowFact {
    pub kind: ControlFlowKind,
    pub span: IrSpan,
    pub depth: usize,
    pub loop_depth: usize,
    pub parent_branch: Option<BranchContext>,
    pub else_info: Option<ElseInfo>,
    pub containing_fn: Option<usize>,
}

A control flow construct with nesting context.

Fields

kind: ControlFlowKind

Discriminant: if, match, loop variant, or closure.

span: IrSpan

Location of the keyword.

depth: usize

Nesting depth within the function body (for max-depth check).

loop_depth: usize

Enclosing loop count (for clone-in-loop suppression).

parent_branch: Option<BranchContext>

Set when nested inside an if or match arm.

else_info: Option<ElseInfo>

Present only for If nodes.

containing_fn: Option<usize>

Index of the function containing this construct.

Trait Implementations

impl Debug for ControlFlowFact

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

Formats the value using the given formatter.