Struct LexicalBindingFact 

#[non_exhaustive]
pub struct LexicalBindingFact {
    pub name: LexicalName,
    pub role: LexicalRole,
    pub source_anchor: PirSourceAnchor,
    pub body_idx: usize,
    pub body_owner: BodyOwnerKind,
}

A single lexical variable binding fact extracted from PIR.

Each fact represents one read or write of a lexical (my/state) variable, anchored to its source range and discriminated by body identity.

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.

name: LexicalName

The lexical variable (sigil + name).

role: LexicalRole

Whether this fact records a read or write.

source_anchor: PirSourceAnchor

Source anchor for this reference (always anchored in PR1).

body_idx: usize

Body index where this binding occurs (0-based).

body_owner: BodyOwnerKind

Body owner kind (what construct owns this body).

Trait Implementations

impl Clone for LexicalBindingFact

fn clone(&self) -> LexicalBindingFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LexicalBindingFact

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

Formats the value using the given formatter.

impl Eq for LexicalBindingFact

impl PartialEq for LexicalBindingFact

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