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