> Even if your average developer is a measly 30% more efficient, that might create 20% less demand for developers

I mean it might. But I wouldn't rule out Jevon's paradox where the increased efficiency increases demand.

Build more roads, congestion gets worse. Make developers more efficient, demand for developers increases. I wouldn't be surprised if demand for bespoke software goes up.