this is the weirdest "head in sand" moment; you literally called out mypy as a desirable alternative >And to add insult to injury Pycharm doesn't even have a p

this is the weirdest "head in sand" moment; you literally called out mypy as a desirable alternative >And to add insult to injury Pycharm doesn't even have a pyright plugin and the mypy plugin is extremely slow and buggy. ie you recognize that aligning with mypy is desirable.