mypy icon indicating copy to clipboard operation
mypy copied to clipboard

Migrate ircheck failure messages

Open SaintLeonar opened this issue 2 years ago • 2 comments

Migrate failure messages to message_registry.py. This is an attempt to address the issue #6116

SaintLeonar avatar Jun 06 '23 01:06 SaintLeonar

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

github-actions[bot] avatar Jun 06 '23 01:06 github-actions[bot]

Thanks for the PR, but as noted earlier by others, I don't believe that migrating mypyc errors to using the mypy error registry is worth it. They are independent tools and the vast majority of mypy users will not care about mypyc errors at all.

ichard26 avatar Jun 24 '23 21:06 ichard26