A huge supporter of typing in python, but have observed that type sense which pycharm provides out of the box has its fair share of bugs as well.

Also should check out ty by astral, it is pretty fast and does a good job at typechecking.

https://docs.astral.sh/ty/editors/