public override Task <Unit> Handle(DidOpenTextDocumentParams notification, CancellationToken cancellationToken) { logger.LogTrace("received open notification {DocumentUri}", notification.TextDocument.Uri); HandleUpdateAndPublishDiagnosticsAsync(documents.OpenDocumentAsync(notification.TextDocument)); return(Unit.Task); }