{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"assigned_names.insert(name.0.clone());"}]}
        assigned_names.insert(name.0.clone());
        };
        names.insert(local, name);