Struct TypeAnnotations 

pub struct TypeAnnotations { /* private fields */ }

Stores inferred DataType annotations for expression nodes in an AST.

Annotations are keyed by raw pointer identity, so this structure is valid only as long as the underlying AST is not moved, cloned, or dropped. Intended for single-pass analysis over a borrowed AST.

Implementations

impl TypeAnnotations

pub fn get_type(&self, expr: &Expr) -> Option<&DataType>

Retrieve the inferred type of an expression, if annotated.

pub fn len(&self) -> usize

Number of annotated nodes.

pub fn is_empty(&self) -> bool

Returns true if no annotations were recorded.

Trait Implementations

impl Send for TypeAnnotations

impl Sync for TypeAnnotations