DiagnosticMessage

constructor(severity: DiagnosticSeverity, message: String, highlights: List<DiagnosticHighlight>, annotations: List<DiagnosticAnnotation>)