{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"text_document:"}]}
            text_document: TextDocumentIdentifier { uri: self.urls[file_idx].clone() },
        self.server.notification::<DidSaveTextDocument>(DidSaveTextDocumentParams {
            text: Some("".to_owned()),