Initializer
init(source:severity:range:identifier:summary:explanation:notes:)
init(source: URL? = nil, severity: DiagnosticSeverity, range: SourceRange? = nil, identifier: String, summary: String, explanation: String? = nil, notes: [DiagnosticNote] = [])