public DiagnosticResult(DiagnosticResultCommonProperties commonProperties, string message, Option<DiagnosticLocation> location) { CommonProperties = commonProperties; Message = message; Location = location; }