public static void Report(this ICollection<Diagnostic> diagnostics, TextSpan textSpan, DiagnosticId diagnosticId, params object[] args) { var diagnostic = Diagnostic.Format(textSpan, diagnosticId, args); diagnostics.Add(diagnostic); }