Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

The static type checker.

Implementations

impl TypeChecker

pub fn new() -> Self

pub fn check_with_source( self, program: &[SNode], source: &str, ) -> Vec<TypeDiagnostic>

Check a program with source text for autofix generation.

pub fn check(self, program: &[SNode]) -> Vec<TypeDiagnostic>

Check a program and return diagnostics.

pub fn check_with_hints( self, program: &[SNode], source: &str, ) -> (Vec<TypeDiagnostic>, Vec<InlayHintInfo>)

Check a program and return both diagnostics and inlay hints.

Trait Implementations

impl Default for TypeChecker

fn default() -> Self

Returns the “default value” for a type.