pub fn compact_error_summary(diagnostics: &[FullDiagnostic]) -> String
Formats a compact error summary line.