Struct PirEdge 

#[non_exhaustive]
pub struct PirEdge {
    pub from: PirId,
    pub to: Option<PirId>,
    pub kind: PirEdgeKind,
}

One control-flow edge between PIR nodes.

A to of None represents an exit, unknown, or dynamic continuation that must remain visible rather than be dropped.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

from: PirId

Source node.

to: Option<PirId>

Destination node, or None for an exit/unknown continuation.

kind: PirEdgeKind

Edge category.

Trait Implementations

impl Clone for PirEdge

fn clone(&self) -> PirEdge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PirEdge

impl Debug for PirEdge

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

Formats the value using the given formatter.

impl Eq for PirEdge

impl PartialEq for PirEdge

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