Better tell that to everyone you ever see that says "I'm pushing my FP4+ to ISO 1000". It is a widely held belief by many photographers that overdevelopment increase effective film speed dramatically. I'm glad you know that's not true, but in my experience, at least, this is not widely understood.
Developer like all other analog amplifiers is nonlinear. It works much more on strong signals than weak. Which is of course the exact opposite of what we want.
As long as the amplification is not too much we can get away with it, with build in inhibitors and various development techniques. But once we push it (pun intended) we get a steeper curve.
You still get more development of the lower part of the curve though, to a point.
What people seem completely oblivious to, is the option of preflashing and latensification which lifts the bottom up again, with the added effort of doing that before exposure or before development.
That, in combination with pushing is very real upping of the speed.
As far as resolution goes, it's all back to, You're only as good as your weakest link, whether that be the lens, the film, stability, development choice, etc etc etc. So of course, if a film is inferior to the task, blame that; if the lens is inadequate, blame it instead, or more realistically blame all kinds of interactive factors, including using too small a film format to begin with.
135 is superb with the right amount of care and slow film. What most people miss is the last step. Either scanning or printing. That is where you need to put at least as much effort as in the recording.