Enum Edge 

pub enum Edge<'db, 'a> {
    Goto {
        target: BlockId,
        remapping: &'a VarRemapping<'db>,
    },
    MatchArm {
        arm: &'a MatchArm<'db>,
        match_info: &'a MatchInfo<'db>,
    },
    Return {
        vars: &'a [VarUsage<'db>],
        location: LocationId<'db>,
    },
    Panic {
        var: VarUsage<'db>,
    },
}

Represents an edge in the control flow graph.

Each variant captures the specific information needed for that edge type, enabling analyzers to handle variable introductions and remappings.

Variants

Goto

A goto edge with variable remapping.

Fields

target: BlockId

remapping: &'a VarRemapping<'db>

MatchArm

A match arm edge with the arm’s introduced variables.

Fields

arm: &'a MatchArm<'db>

match_info: &'a MatchInfo<'db>

Return

A return edge (terminal).

Fields

vars: &'a [VarUsage<'db>]

location: LocationId<'db>

Panic

A panic edge (terminal).

Fields

var: VarUsage<'db>

Trait Implementations

impl<'db, 'a> Debug for Edge<'db, 'a>

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

Formats the value using the given formatter.