{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"world.flycheck[0].restart_workspace(saved_file);"}]}
                world.flycheck[0].restart_workspace(saved_file);
                let saved_file = vfs_path.as_path().map(|p| p.to_owned());
            }