{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"flycheck.restart_workspace(saved_file.clone());"}]}
                        flycheck.restart_workspace(saved_file.clone());
                        updated = true;
                        continue 'flychecks;