You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: CHANGELOG.md
+131-57
Original file line number
Diff line number
Diff line change
@@ -11,125 +11,199 @@ We’ve just uploaded mypy 1.11 to the Python Package Index ([PyPI](https://pypi
11
11
12
12
You can read the full documentation for this release on [Read the Docs](http://mypy.readthedocs.io).
13
13
14
-
#### Additional support for PEP 695
14
+
#### Support Python 3.12 Syntax for Generics (PEP 695)
15
15
16
-
Mypy now has experimental support for the new type parameter syntax introduced in Python 3.12 ([PEP 695](https://peps.python.org/pep-0695/)).
17
-
This feature is still experimental and must be enabled with the `--enable-incomplete-feature=NewGenericSyntax` flag.
16
+
Mypy now supports the new type parameter syntax introduced in Python 3.12 ([PEP 695](https://peps.python.org/pep-0695/)).
17
+
This feature is still experimental and must be enabled with the `--enable-incomplete-feature=NewGenericSyntax` flag, or with `enable_incomplete_feature = NewGenericSyntax` in the mypy configuration file.
18
+
We plan to enable this by default in the next mypy feature release.
18
19
19
20
This example demonstrates the new syntax:
20
-
```python
21
21
22
+
```python
23
+
# Generic function
22
24
def f[T](x: T) -> T: ...
23
25
24
26
reveal_type(f(1)) # Revealed type is 'int'
27
+
28
+
# Generic class
29
+
class C[T]:
30
+
def__init__(self, x: T) -> None:
31
+
self.x = x
32
+
33
+
c = C('a')
34
+
reveal_type(c.x) # Revealed type is 'str'
35
+
36
+
# Type alias
37
+
type A[T] = C[list[T]]
25
38
```
26
39
27
-
This feature was contributed by Jukka Lehtosalo (PR [17233](https://github.com/python/mypy/pull/17233)).
40
+
This feature was contributed by Jukka Lehtosalo.
28
41
29
42
30
43
#### Support for `functools.partial`
31
44
32
-
Mypy now typechecks uses of `functools.partial`, which previous mypy would always accept.
33
-
This example would previously pass:
45
+
Mypy now type checks uses of `functools.partial`. Previously mypy would accept arbitrary arguments.
46
+
47
+
This example will now produce an error:
34
48
35
49
```python
36
50
from functools import partial
37
51
38
52
deff(a: int, b: str) -> None: ...
39
53
40
54
g = partial(f, 1)
41
-
g(1) # error: Argument 1 to "f" has incompatible type "int"; expected "str" [arg-type]
55
+
56
+
# Argument has incompatible type "int"; expected "str"
57
+
g(11)
42
58
```
43
59
44
60
This feature was contributed by Shantanu (PR [16939](https://github.com/python/mypy/pull/16939)).
* stubtest: changes for py313 (Shantanu, PR [17261](https://github.com/python/mypy/pull/17261))
63
+
#### Stricter Checks for Untyped Overrides
64
+
65
+
Past mypy versions didn't check if untyped methods were compatible with overridden methods. This would result in false negatives. Now mypy performs these checks when using `--check-untyped-defs`.
66
+
67
+
For example, this now generates an error if using `--check-untyped-defs`:
68
+
69
+
```python
70
+
classBase:
71
+
deff(self, x: int=0) -> None: ...
72
+
73
+
classDerived(Base):
74
+
# Signature incompatible with "Base"
75
+
deff(self): ...
76
+
```
77
+
78
+
This feature was contributed by Steven Troxler (PR [17276](https://github.com/python/mypy/pull/17276)).
79
+
80
+
81
+
#### Type Inference Improvements
82
+
83
+
The new polymorphic inference algorithm introduced in mypy 1.5 is now used in more situations. This improves type inference involving generic higher-order functions, in particular.
84
+
85
+
This feature was contributed by Ivan Levkivskyi (PR [17348](https://github.com/python/mypy/pull/17348)).
86
+
87
+
Mypy now uses unions of tuple item types in certain contexts to enable more precise inferred types. Example:
88
+
89
+
```python
90
+
for x in (1, 'x'):
91
+
# Previously inferred as 'object'
92
+
reveal_type(x) # Revealed type is 'int | str'
93
+
```
94
+
95
+
This was also contributed by Ivan Levkivskyi (PR [17408](https://github.com/python/mypy/pull/17408)).
96
+
50
97
98
+
#### Improvements to Detection of Overlapping Overloads
51
99
52
-
#### Changes to stubgen
53
-
* stubgen: Gracefully handle invalid `Optional` and recognize aliases to PEP 604 unions (Ali Hamdan, PR [17386](https://github.com/python/mypy/pull/17386))
54
-
* Fix stubgen for Python 3.13 (Jelle Zijlstra, PR [17290](https://github.com/python/mypy/pull/17290))
55
-
* stubgen: preserve enum value initialisers (Shantanu, PR [17125](https://github.com/python/mypy/pull/17125))
100
+
The details of how mypy checks if two `@overload` signatures are unsafely overlapping were overhauled. This both fixes some false positives, and allows mypy to detect additional unsafe signatures.
56
101
102
+
This feature was contributed by Ivan Levkivskyi (PR [17392](https://github.com/python/mypy/pull/17392)).
*[mypyc] Allow specifying primitives as pure (Jukka Lehtosalo, PR [17263](https://github.com/python/mypy/pull/17263))
66
104
105
+
#### Better Support for Type Hints in Expressions
67
106
68
-
#### Changes to error reporting
107
+
Mypy now allows more expressions that evaluate to valid type annotations in all expression contexts. The inferred types of these expressions are also sometimes more precise. Previously they were often `object`.
108
+
109
+
This example uses a union type that includes a callable type as an expression, and it no longer generates an error:
110
+
111
+
```python
112
+
from typing import Callable
113
+
114
+
print(Callable[[], int] |None) # No error
115
+
```
116
+
117
+
This feature was contributed by Jukka Lehtosalo (PR [17404](https://github.com/python/mypy/pull/17404)).
118
+
119
+
120
+
#### Mypyc Improvements
121
+
122
+
Mypyc now supports the new syntax for generics introduced in Python 3.12 (see above). Another notable improvement is signficantly faster basic operations on `int` values.
123
+
124
+
* Support Python 3.12 syntax for generic functions and classes (Jukka Lehtosalo, PR [17357](https://github.com/python/mypy/pull/17357))
125
+
* Support Python 3.12 type alias syntax (Jukka Lehtosalo, PR [17384](https://github.com/python/mypy/pull/17384))
* Fix type application for classes with generic constructors (Ivan Levkivskyi, PR [17354](https://github.com/python/mypy/pull/17354))
116
-
* Use polymorphic inference in unification (Ivan Levkivskyi, PR [17348](https://github.com/python/mypy/pull/17348))
117
-
* Update 'typing_extensions' to >=4.6.0 to fix python 3.12 error (Ben Brown, PR [17312](https://github.com/python/mypy/pull/17312))
118
-
* Avoid does not return error in lambda (Shantanu, PR [17294](https://github.com/python/mypy/pull/17294))
119
-
* Fix for bug with descriptors in non-strict-optional (Max Murin, PR [17293](https://github.com/python/mypy/pull/17293))
195
+
* Update `typing_extensions` to >=4.6.0 to fix Python 3.12 error (Ben Brown, PR [17312](https://github.com/python/mypy/pull/17312))
196
+
* Avoid "does not return" error in lambda (Shantanu, PR [17294](https://github.com/python/mypy/pull/17294))
197
+
* Fix bug with descriptors in non-strict-optional mode (Max Murin, PR [17293](https://github.com/python/mypy/pull/17293))
120
198
* Don’t leak unreachability from lambda body to surrounding scope (Anders Kaseorg, PR [17287](https://github.com/python/mypy/pull/17287))
121
-
* Validate more about overrides on untyped methods (Steven Troxler, PR [17276](https://github.com/python/mypy/pull/17276))
122
-
* Fix case involving non-ASCII chars on Windows (Alexander Leopold Shon, PR [17275](https://github.com/python/mypy/pull/17275))
123
-
* Support namedtuple.__replace__ in Python 3.13 (Shantanu, PR [17259](https://github.com/python/mypy/pull/17259))
199
+
* Fix issues with non-ASCII characters on Windows (Alexander Leopold Shon, PR [17275](https://github.com/python/mypy/pull/17275))
124
200
* Fix for type narrowing of negative integer literals (gilesgc, PR [17256](https://github.com/python/mypy/pull/17256))
125
-
* Support rename=True in collections.namedtuple (Jelle Zijlstra, PR [17247](https://github.com/python/mypy/pull/17247))
126
-
*[dmypy] sort list of files for update by extension (Valentin Stanciu, PR [17245](https://github.com/python/mypy/pull/17245))
127
-
* fix #16935 fix type of tuple[X,Y] expression (urnest, PR [17235](https://github.com/python/mypy/pull/17235))
128
-
* Do not forget that a `TypedDict` was wrapped in `Unpack` after a `name-defined` error occurred. (Christoph Tyralla, PR [17226](https://github.com/python/mypy/pull/17226))
129
-
* fix: annotated argument's `var` node type is explicit, not inferred (bzoracler, PR [17217](https://github.com/python/mypy/pull/17217))
130
-
* Enum private attributes are not enum members (Ali Hamdan, PR [17182](https://github.com/python/mypy/pull/17182))
201
+
* Fix confusion between .py and .pyi files in mypy daemon (Valentin Stanciu, PR [17245](https://github.com/python/mypy/pull/17245))
202
+
* Fix type of `tuple[X, Y]` expression (urnest, PR [17235](https://github.com/python/mypy/pull/17235))
203
+
* Don't forget that a `TypedDict` was wrapped in `Unpack` after a `name-defined` error occurred (Christoph Tyralla, PR [17226](https://github.com/python/mypy/pull/17226))
204
+
* Mark annotated argument as having an explicit, not inferred type (bzoracler, PR [17217](https://github.com/python/mypy/pull/17217))
205
+
* Don't consider Enum private attributes as enum members (Ali Hamdan, PR [17182](https://github.com/python/mypy/pull/17182))
* Add support for __spec__ (Shantanu, PR [14739](https://github.com/python/mypy/pull/14739))
133
207
134
208
135
209
#### Typeshed Updates
@@ -331,7 +405,7 @@ This feature was contributed by Shantanu (PR [16756](https://github.com/python/m
331
405
332
406
#### Typeshed Updates
333
407
334
-
Please see [git log](https://github.com/python/typeshed/commits/main?after=7c8e82fe483a40ec4cb0a2505cfdb0f3e7cc81d9+0&branch=main&path=stdlib) for full list of standard library typeshed stub changes.
408
+
Please see [git log](https://github.com/python/typeshed/commits/main?after=6dda799d8ad1d89e0f8aad7ac41d2d34bd838ace+0&branch=main&path=stdlib) for full list of standard library typeshed stub changes.
0 commit comments