I think it important to remember a few things.
1-that the real speed of the film doesn't move near as much with a change of development as the typical EI change that gets applied. Shadow detail is lost.
2-that as the film curve gets steeper tone changes get more abrupt. Mid-tone transitions get grittier.
3-that printable whites are closer to the toe too. Detail is lost in the highlights too.
Pushing has become a technique of last resort for me because night street scenes are actually high contrast affairs.
If you apply classic Adams/zone system logic it is likely a pull is going to be indicated rather than a push.
rich815's shot above is a good example. The detail in the street lights didn't print and the detail in the coat is really limited. That's not a critisism, it's simply a choice based on the result wanted.