Check for unused pyright: ignore and differentiate from mypy ignores - #9397
Merged
AlexWaygood merged 8 commits intoDec 28, 2022
Merged
pyright: ignore and differentiate from mypy ignores - #9397