Struct Spanned 

pub struct Spanned<T> {
    pub node: T,
    pub span: Span,
}

A value annotated with its source span — carries spans alongside the AST without putting one inside Term itself.

Consumers: the parser’s spanned body conjuncts (Spanned<Term>, codegen path) and the compiler’s lowered goal IR (type LGoal = Spanned<LGoalKind>, SPANS.md Layer 3), where every goal carries its source span so raising call sites get site_id provenance with no per-variant plumbing. The undefined-call lint still uses the parser’s flat CallSite occurrences.

Fields

node: T

span: Span

Implementations

impl<T> Spanned<T>

pub fn new(node: T, span: Span) -> Self

Trait Implementations

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

fn clone(&self) -> Spanned<T>

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: &Spanned<T>) -> 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<T: PartialEq> StructuralPartialEq for Spanned<T>