Expand description
implementation of the textDocument/didClose notification
ยงUsage
Whenever a document is closed, Server::on_close is invoked.
The client should only send this if it claimed ownership of the document
via Server::on_open before.