And why would I care about mypy docs? pyright does the correct thing by showing an error.
In any case, the second example is definitely not a stub.
In any case, the second example is definitely not a stub.
>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.