Function type_check

pub fn type_check(
    ast_root: &mut AstRoot,
    chk: &mut TypeChecker,
    driver: &mut Driver,
)
Expand description

Performs type checking on the AST.