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