pub fn typecheck_checked(
source: &str,
file: FileId,
) -> Result<Vec<Diagnostic>, CompileError>Expand description
Typecheck only — runs the front-end and stops before codegen. Returns
Ok(warnings) when the program is error-free (warnings are non-fatal),
Err(diagnostics) if any phase errors. Backs submilli check.