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