{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            if assigned_names.contains(name) { fresh_name() } else { (name.to_owned(), false) }
            fresh_name()