Struct SymbolInfo 

pub struct SymbolInfo {
    pub var_type: VarType,
    pub decl_span: Span,
    pub ref_spans: Vec<Span>,
    pub domain_summary: Option<String>,
}

Information about a single declared variable.

Fields

var_type: VarType

The variable’s declared type.

decl_span: Span

Span of the name token in the variables block (declaration site).

ref_spans: Vec<Span>

All spans where this name appears as a reference (domains, constraints, exprs).

domain_summary: Option<String>

Human-readable domain summary for hover display (e.g. “duration = 3, start in 0..10”).

Trait Implementations

impl Clone for SymbolInfo

fn clone(&self) -> SymbolInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolInfo

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

Formats the value using the given formatter.