{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"self.wants_to_switch"}]}
                        self.wants_to_switch = Some("fetched workspace".to_owned());
                        }
                        self.diagnostics.clear_check_all();