{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"})),"}]}
        })),
            work_done_progress_options: WorkDoneProgressOptions { work_done_progress: None },
        linked_editing_range_provider: None,