pub fn check(source: &str, filename: &str) -> Result<(), Vec<Diagnostic>>
Type-check only (no TASM emission).