public Diagnostic(TextSpan textSpan, DiagnosticId diagnosticId, string message) : base(textSpan, message, DiagnosticFacts.GetSeverity(diagnosticId)) { DiagnosticId = diagnosticId; }