Enum Resolution 

pub enum Resolution {
    Lexical {
        sym: Symbol,
    },
    Dynamic,
}

The resolution verdict for one variable reference.

M0 only needs to distinguish a precomputed-Symbol lexical hit candidate from “route through the runtime with/probe path”. The positional {up, slot} variant is M1, deliberately absent here.

Variants

Lexical

Provably resolvable in an enclosing lexical binder with no with scope between the reference and its binder. Carries the reference’s pre-interned Symbol so the eval hot path can probe the lexical bindings map directly (skipping the re-intern). A lexical-bindings miss at runtime still falls back to the full unchanged path.

Fields

sym: Symbol

The interned name of the reference.

Dynamic

Route this reference through today’s unchanged runtime path (intern + lookup_fast + the with-chain). The fail-safe default for any uncertainty.

Trait Implementations

impl Clone for Resolution

fn clone(&self) -> Resolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Resolution

impl Debug for Resolution

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

Formats the value using the given formatter.

impl Eq for Resolution

impl PartialEq for Resolution

fn eq(&self, other: &Resolution) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Resolution