Enum Place 

pub enum Place {
    Local(SmolStr),
    SelfMember(SmolStr),
    Field(Box<Place>, SmolStr),
}

A narrowable place: a local/param, or a (shallow) dotted access rooted at a local or self. Deliberately shallow — we narrow x, x.y, self.y but not arbitrary call results (f().y), array indices (a[i].y), or anything whose identity isn’t stable under re-evaluation. Shallowness is what keeps narrowing sound under mutation/aliasing (the 1.0 cut).

Variants

Local(SmolStr)

A function local / parameter, by name (GDScript locals are function-scoped).

SelfMember(SmolStr)

self.member (or a bare member resolving through self).

Field(Box<Place>, SmolStr)

A field access on another place (x.y, self.y.z).

Implementations

impl Place

pub fn of(body: &Body, id: ExprId) -> Option<Place>

Derive the place an expression denotes, or None for a non-narrowable expression.

pub fn invalidated_by(&self, assigned: &Place) -> bool

Whether assigning to assigned may invalidate a narrowing of self. Conservative prefix check: assigning x clears x and x.*; assigning x.y clears x.y and x.y.* (but not x). I.e. assigned is an ancestor-or-equal of self.

pub fn dotted_key(&self) -> String

The dotted access-path key for this place (x, self.field, a.b.c) — the format the checker’s narrow_key produces, so the two agree when the checker consults a fact.

Trait Implementations

impl Clone for Place

fn clone(&self) -> Place

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Place

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

Formats the value using the given formatter.

impl Eq for Place

impl Hash for Place

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Place

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