{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"work_done_progress_options:"}]}
                work_done_progress_options: WorkDoneProgressOptions { work_done_progress: None },
                workspace_diagnostics: false,
            },