{"ast_node_type":"other","tokens":[{"end":112,"kind":"keyword","start":0,"text":"workspace_symbol_search_scope:"}]}
        workspace_symbol_search_scope: WorkspaceSymbolSearchScopeDef = WorkspaceSymbolSearchScopeDef::Workspace,
        /// Workspace symbol search scope.
    }