Disable mypy overload-overlap warnings? #12178
Comments
|
We should check how many become unused with the mypy master branch, as the way the lint works at mypy has just been completely reworked in python/mypy#17392. |
|
That sounds promising! |
|
So yes, these are mypy's new complaints regarding overload-overlap if you use mypy And in our third-party stubs we have: So in total that's around 60 that will go away altogether. That will still leave us with quite a few errors ignored in typeshed, and I agree we don't get much value from the check. (We already have pyright's version switched off, because it was even noisier than mypy's.) Diff I made to mypy to get --- a/mypy/errors.py
+++ b/mypy/errors.py
@@ -680,11 +680,6 @@ class Errors:
self.has_blockers.remove(path)
def generate_unused_ignore_errors(self, file: str) -> None:
- if (
- is_typeshed_file(self.options.abs_custom_typeshed_dir if self.options else None, file)
- or file in self.ignored_files
- ):
- return
ignored_lines = self.ignored_lines[file]
used_ignored_lines = self.used_ignored_lines[file]
for line, ignored_codes in ignored_lines.items():Diff I made to our tests: diff --git a/tests/mypy_test.py b/tests/mypy_test.py
index cafaca811..431439509 100755
--- a/tests/mypy_test.py
+++ b/tests/mypy_test.py
@@ -270,6 +270,8 @@ def run_mypy(
"ignore-without-code",
"--enable-error-code",
"redundant-self",
+ "--disable-error-code",
+ "override",
"--config-file",
temp.name,
] |
|
My gut feeling says that we should disable the test even after the PR (as you also wrote), but maybe it's a good idea to do this after the next mypy release, as a baseline. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
These mypy warnings are overzealous, as it's often quite useful to have partial overlaps: We ignore this warning in 192 places in typeshed at the moment, and I don't think we gain any benefit from having it enabled.
Ideally, mypy would have a separate warning for overloads that are completely shadowed by another overload, though.
The text was updated successfully, but these errors were encountered: