{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"updated"}]}
                        updated = true;
                    if id == flycheck.id() {
                        flycheck.restart_workspace(saved_file.clone());