pub fn check_script(
ta: &TypedAst,
dependencies: &[&PackageDeclaration],
) -> Result<Vec<Diagnostic>, CompileError>Expand description
Checks a script. dependencies are the packages it was inferred against,
which declare the types it imports.
The tree must satisfy TypedAst’s phase input contract. Dependency type
limits are checked again because callers may have modified declarations
since inference.