Bump mypy from 1.7.1 to 1.8.0

[dependabot]

Bumps mypy from 1.7.1 to 1.8.0.

Changelog

Sourced from mypy's changelog.

Mypy Release Notes

Next release

Mypy 1.8

We’ve just uploaded mypy 1.8 to the Python Package Index (PyPI). Mypy is a static type checker for Python. This release includes new features, performance improvements and bug fixes. You can install it as follows:

python3 -m pip install -U mypy

You can read the full documentation for this release on Read the Docs.

Type-checking Improvements

• Do not intersect types in isinstance checks if at least one is final (Christoph Tyralla, PR 16330)
• Detect that @final class without __bool__ cannot have falsey instances (Ilya Priven, PR 16566)
• Do not allow TypedDict classes with extra keywords (Nikita Sobolev, PR 16438)
• Do not allow class-level keywords for NamedTuple (Nikita Sobolev, PR 16526)
• Make imprecise constraints handling more robust (Ivan Levkivskyi, PR 16502)
• Fix strict-optional in extending generic TypedDict (Ivan Levkivskyi, PR 16398)
• Allow type ignores of PEP 695 constructs (Shantanu, PR 16608)
• Enable type_check_only support for TypedDict and NamedTuple (Nikita Sobolev, PR 16469)

Performance Improvements

• Add fast path to analyzing special form assignments (Jukka Lehtosalo, PR 16561)

Improvements to Error Reporting

• Don't show documentation links for plugin error codes (Ivan Levkivskyi, PR 16383)
• Improve error messages for super checks and add more tests (Nikita Sobolev, PR 16393)
• Add error code for mutable covariant override (Ivan Levkivskyi, PR 16399)

Stubgen Improvements

• Preserve simple defaults in function signatures (Ali Hamdan, PR 15355)
• Include __all__ in output (Jelle Zijlstra, PR 16356)
• Fix stubgen regressions with pybind11 and mypy 1.7 (Chad Dombrova, PR 16504)

Stubtest Improvements

• Improve handling of unrepresentable defaults (Jelle Zijlstra, PR 16433)
• Print more helpful errors if a function is missing from stub (Alex Waygood, PR 16517)
• Support @type_check_only decorator (Nikita Sobolev, PR 16422)
• Warn about missing __del__ (Shantanu, PR 16456)
• Fix crashes with some uses of final and deprecated (Shantanu, PR 16457)

Fixes to Crashes

• Fix crash with type alias to Callable[[Unpack[Tuple[Any, ...]]], Any] (Alex Waygood, PR 16541)
• Fix crash on TypeGuard in __call__ (Ivan Levkivskyi, PR 16516)
• Fix crash on invalid enum in method (Ivan Levkivskyi, PR 16511)
• Fix crash on unimported Any in TypedDict (Ivan Levkivskyi, PR 16510)

Documentation Updates

• Update soft-error-limit default value to -1 (Sveinung Gundersen, PR 16542)

... (truncated)

Commits

• 3b46750 remove +dev suffix from version
• c9bc833 Fix tests broken by hatchling (#16655)
• 60d30e3 Fix crash with type alias to Callable[[Unpack[Tuple[Any, ...]]], Any] (#16541)
• f53f422 Allow type ignores of PEP 695 constructs (#16608)
• 7c33e7c @​final class without bool cannot have falsey instances (#16566)
• c224da5 Do not intersect types in isinstance checks if at least one is final (#16330)
• d54cc35 Change example in test cases with no stubs available (#16513)
• eb1ee97 Update hashes in sync-typeshed.py following recent typeshed sync (#16600)
• 344298e Revert use of ParamSpec for functools.wraps
• 3e5d813 Revert typeshed ctypes change
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[amotl]

The discrepancy outlined by CI at ¹ shows that pyproject-fmt does not harmonize with the suggestions submitted by Dependabot on some occasions. Do you think you could do anything about it, or is there already a solution to mitigate those kinds of anomalies?

 --- pyproject.toml
+++ pyproject.toml
@@ -109,7 +109,7 @@
 develop = [
   "black<24",
   "munch<5",
-  "mypy==1.8.0",
+  "mypy==1.8",

/cc @gaborbernat, @edgarrmondragon, @henryiii

Footnotes

1. https://github.com/daq-tools/node-blue/actions/runs/7432456446/job/20224274223?pr=31#step:7:18 ↩

[henryiii]

I believe Dependabot always matches digits. So 1.8 will only go to 1.9 (not 1.8.1). I know it does this for GHA, which is important, since v1.7 is usually a moving tag, while v1.7.0 is a fixed tag. I'd guess it does the same for Python.

IMO, in a pyproject.toml (which is not a lock file), I'd use something looser, like mypy~=1.8.0, which will allow all versions up to 1.9, and pyproject-fmt will not remove the .0 since that changes the meaning of ~=. Also, for dev dependencies, limiting isn't that important, if something breaks, you want to know about it. If breakage is important, you should lock.

[amotl]

Thank you very much, Henry. I agree with all your suggestions, and will probably use the ~= operator from now on.

• Chore: Improve dependency definitions for mypy and ruff to use ~= #34

[edgarrmondragon]

@amotl I'll also add that pyproject-fmt has a --keep-full-version option

[amotl]

@edgarrmondragon: That is also nice, thank you. Does pyproject-fmt read its options also from pyproject.toml, or would --keep-full-version need to strictly be slapped onto the command line of its incantation?

NB: Now that this patch succeeds CI, I will not change it, but certainly consider to alternatively use this option in the future on other projects. Thanks again!

[edgarrmondragon]

Does pyproject-fmt read its options also from pyproject.toml, or would --keep-full-version need to strictly be slapped onto the command line of its incantation?

Not at the moment, see tox-dev/pyproject-fmt#130. You'd have to add to every invocation, and to the args option if you're using the pre-commit hook.

NB: Now that this patch succeeds CI, I will not change it, but certainly consider to alternatively use this option in the future on other projects. Thanks again!

👍