Earlier quoted context omitted.
That's great if you're in a codebase at a workplace which enforces python type annotation checking. Unfortunately, I can tell you from experience that out in the real world, at fortune 500 companies, there are millions of lines of untyped Python doing critical work while being full of subtle type errors which should be compile time errors but will rear their heads as runtime errors when it's least expected.
It's changed a lot recently. I would say the majority of companies now use type checking. It's def not as pervasive yet as Typescript.
Your statements are incongruent with the reality of production.