public static void ReportNumberTooLarge(this ICollection<Diagnostic> diagnostics, TextSpan textSpan, string tokenText) { diagnostics.Report(textSpan, DiagnosticId.NumberTooLarge, tokenText); }