{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"work_done_progress_params:"}]}
            work_done_progress_params: WorkDoneProgressParams::default(),
            },
        },