Struct TypeChecker 

pub struct TypeChecker<'a> {
    pub store: &'a ScopeStore,
    pub diagnostics: Vec<SemanticDiagnostic>,
    pub type_map: HashMap<TypeMapKey, Type>,
    /* private fields */
}

Tracks inferred types and runs arity checks. Runs after scope building and validation.

Fields

store: &'a ScopeStore

diagnostics: Vec<SemanticDiagnostic>

type_map: HashMap<TypeMapKey, Type>

Map from expression span (start, end) to inferred type (for formatter type annotations).

Implementations

impl<'a> TypeChecker<'a>

pub fn new(store: &'a ScopeStore, root: &'a SyntaxNode) -> Self

Trait Implementations

impl Visitor for TypeChecker<'_>

fn enter_node(&mut self, node: &SyntaxNode) -> WalkResult

Called before visiting this node’s children (pre-order).

fn leave_node(&mut self, node: &SyntaxNode) -> WalkResult

Called after visiting this node’s children (post-order).

fn visit_token(&mut self, _token: &SyntaxToken) -> ControlFlow<()>

Called for each token when WalkOptions::visit_tokens is true. Trivia is included only when WalkOptions::visit_trivia is true.