{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"text_document:"}]}
            text_document: server.doc_id("src/main.rs"),
        TextDocumentPositionParams {
            position: Position { line: 0, character: 8 },