Struct Spanned 

pub struct Spanned<T> {
    pub node: T,
    pub line: SourceLine,
    pub ty: OnceLock<Type>,
}

AST node with source location plus an optional inferred type.

Line-agnostic equality: two Spanned values are equal iff their inner nodes are equal, regardless of line or attached type. The type slot is a OnceLock<Type> populated by the type checker; backends that have not been migrated to consume it stay agnostic and continue inferring locally. OnceLock (rather than OnceCell) keeps Spanned Sync, which matters because parts of the AST live behind Arc and cross thread boundaries (e.g. parallel verify execution, REPL background tasks).

Fields

node: T

line: SourceLine

ty: OnceLock<Type>

Implementations

impl<T> Spanned<T>

pub fn new(node: T, line: SourceLine) -> Self

pub fn bare(node: T) -> Self

Create a Spanned with line=0 (synthetic/generated AST, no source location).

pub fn set_ty(&self, ty: Type)

Record the inferred type for this node. No-op if a type is already set (later inference passes must not contradict the first one).

pub fn ty(&self) -> Option<&Type>

Inferred type for this node, if the type checker has visited it.

Trait Implementations

impl<T: Clone> Clone for Spanned<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Spanned<T>

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for Spanned<T>

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