> My feeling is that redundant stuff like type hints make programmers create more bugs because they don't see the forest for the trees anymore.

Not ones that ship to production. Some developers have a terrible time trying to get through the mypy errors. But from my observations, I haven't seen any typing related errors in a very long time.