Sourced frommypy's changelog.

Mypy Release Notes

Next Release

Mypy 1.17

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

python3 -m pip install -U mypy

You can read the full documentation for this release onRead the Docs.

Optionally Check That Match Is Exhaustive

Mypy can now optionally generate an error if a match statement does notmatch exhaustively, without having to useassert_never(...). Enablethis by using--enable-error-code exhaustive-match.

Example:

# mypy: enable-error-code=exhaustive-matchimportenumclassColor(enum.Enum):RED=1BLUE=2defshow_color(val:Color)->None:# error: Unhandled case for values of type "Literal[Color.BLUE]"matchval:caseColor.RED:print("red")

This feature was contributed by Donal Burns (PR19144).

Further Improvements to Attribute Resolution

This release includes additional improvements to how attribute typesand kinds are resolved. These fix many bugs and overall improve consistency.

• Handle corner case: protocol/class variable/descriptor (Ivan Levkivskyi, PR19277)
• Fix a few inconsistencies in protocol/type object interactions (Ivan Levkivskyi, PR19267)
• Refactor/unify access to static attributes (Ivan Levkivskyi, PR19254)
• Remove inconsistencies in operator handling (Ivan Levkivskyi, PR19250)
• Make protocol subtyping more consistent (Ivan Levkivskyi, PR18943)

... (truncated)

• 0260991 Update version string
• 3901aa2 Updates to 1.17 changelog (#19436)
• 7d13396 Initial changelog for 1.17 release (#19427)
• a182dec Combine the revealed types of multiple iteration steps in a more robust manne...
• ab4fd57 Improve the handling of "iteration dependent" errors and notes in finally cla...
• 09ba1f6 [mypyc] Fix exception swallowing in async try/finally blocks with await (#19353)
• 5c65e33 [mypyc] Fix AttributeError in async try/finally with mixed return paths (#19361)
• 934ec50 Lessen dmypy suggest path limitations for Windows machines (#19337)
• a4801f9 Type ignore comments erroneously marked as unused by dmypy (#15043)
• c3bfa0d Handle corner case: protocol vs classvar vs descriptor (#19277)
• Additional commits viewable incompare view

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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions