{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":".filter(move"}]}
                        .filter(move |&i| duplicate_set.insert(i))
                        .drain(successors_len..)
                };