PyCharm has very basic type checking, though. It's not strict. > pyrefly, ty, pyright, and basedpyright All of them will complain 2-4x more about your code th

PyCharm has very basic type checking, though. It's not strict. > pyrefly, ty, pyright, and basedpyright All of them will complain 2-4x more about your code than PyCharm. I had more than 300 typing errors when I first opened my 20k LOC project in pyright that I wrote in Pycharm. PyCharm works great when your code is not annotated. It infers types very well. But it won't complain in a lot of cases when your code is annotated. Related reddit post https://old.reddit.com/r/Python/comments/1ajnikt/to_pycharm_users_how_are_you_type_checking_your/ https://old.reddit.com/r/Python/comments/1ajnikt/to_pycharm_...