Upgrade to release 1.17.0:
- Mypy can now optionally generate an error if a match statement
does not match exhaustively, without having to use
assert_never(...). Enable this by using --enable-error-code
exhaustive-match.
- Handle corner case: protocol/class variable/descriptor
- Fix a few inconsistencies in protocol/type object interactions
- Refactor/unify access to static attributes
- Remove inconsistencies in operator handling
- Make protocol subtyping more consistent
- Fix nondeterministic type checking by making join with explicit
Protocol and type promotion commute
- Fix nondeterministic type checking caused by nonassociative of
None joins
- Fix nondeterministic type checking caused by nonassociativity of
joins
- Fix nondeterministic type checking by making join between type
and TypeVar commute
- Mypy only supports Python 3.9+. The --force-uppercase-builtins
flag is now deprecated as unnecessary, and a no-op. It will be
removed in a future version.
Signed-off-by: Leon Anavi <leon.anavi@konsulko.com>
Signed-off-by: Khem Raj <raj.khem@gmail.com>
