You’re right, but in practice the IDE regularly catches type mismatches in my code, and it has been hugely beneficial.

Then again, I am a fastidious about adding type annotations to my codebase.