public override Task <Unit> Handle(DidCloseTextDocumentParams notification, CancellationToken cancellationToken)
        {
            _logger.LogTrace("received close notification {}", notification.TextDocument.Uri);
            var document = _documents.CloseDocument(notification.TextDocument);

            if (document != null)
            {
                _diagnosticPublisher.HideDiagnostics(document);
            }
            return(Unit.Task);
        }