Closed vadorovsky closed 1 month ago
It isn't being used anywhere (aside from push and immediate pop) and has no impact on the visitor algorithm.
push
pop
This change is
It isn't being used anywhere (aside from
pushand immediatepop) and has no impact on the visitor algorithm.This change is