{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"});"}]}
    });
        work_done_progress_params: Default::default(),
    let value = res.get("contents").unwrap().get("value").unwrap().as_str().unwrap();