The issue with typescript is that it relies a lot on external type definitions for non-typed JS modules. And those are plain wrong or outdated at times, leading to lots of compiler errors (but correct code!) which in turn means you can't let your build fail when type errors are detected and you acquire some compiler error numbness over time.

I mean it's better than no type checking at all, but it falls short of languages where it's actually baked in instead of relying on external definitions.