It's not the other way around? HashAggregate becomes a GroupAggregate? The latter is able to spill to disk. (But I could believe that you have it right because HashAggregate is usually much faster.)
This Tweet was deleted by the Tweet author. Learn more