{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"}"}]}
        } else if self.config.flycheck(None) != old_config.flycheck(None) {
            self.fetch_workspaces_queue.request_op("discovered projects changed".to_owned(), req)
            self.reload_flycheck();