{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.fetch_build_data_queue.request_op(\"workspace"}]}
                self.fetch_build_data_queue.request_op("workspace updated".to_owned(), ());
                self.build_deps_changed = false;