public static void ReportSymbolRedefined(this ICollection<Diagnostic> diagnostics, TextSpan span, Symbol symbol) { diagnostics.Report(span, DiagnosticId.SymbolRedefined, symbol.Name); }