Function check 

pub fn check(ta: &TypedAst) -> Result<Vec<Diagnostic>, CompileError>

check_script for a script whose types are all its own: one imported from a package cannot be resolved here.