private async Task CloseDocumentAndHideDiagnosticsAsync(TextDocumentIdentifier documentId) { try { await documents.CloseDocumentAsync(documentId); } catch (Exception e) { logger.LogError(e, "error while closing the document"); } diagnosticPublisher.HideDiagnostics(documentId); }