public static void ReportNoVoidHere(this ICollection<Diagnostic> diagnostics, TextSpan textSpan) { diagnostics.Report(textSpan, DiagnosticId.NoVoidHere); }