pub fn check_silent(source: &str, filename: &str) -> Result<(), Vec<Diagnostic>>
Type-check only, without rendering diagnostics to stderr. Used by the LSP server to get structured errors.