Skip to content

Commit e5746cd

Browse files
committed
Move other typing improvements(?) from 'Removed' to 'Improved modules'
1 parent a161c2e commit e5746cd

File tree

1 file changed

+9
-9
lines changed

1 file changed

+9
-9
lines changed

Doc/whatsnew/3.15.rst

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1158,6 +1158,15 @@ typing
11581158
11591159
(Contributed by Jelle Zijlstra in :gh:`145033`.)
11601160

1161+
* Code like ``class ExtraTypeVars(P1[S], Protocol[T, T2]): ...`` now raises
1162+
a :exc:`TypeError`, because ``S`` is not listed in ``Protocol`` parameters.
1163+
(Contributed by Nikita Sobolev in :gh:`137191`.)
1164+
1165+
* Code like ``class B2(A[T2], Protocol[T1, T2]): ...`` now correctly handles
1166+
type parameters order: it is ``(T1, T2)``, not ``(T2, T1)``
1167+
as it was incorrectly inferred in runtime before.
1168+
(Contributed by Nikita Sobolev in :gh:`137191`.)
1169+
11611170

11621171
unicodedata
11631172
-----------
@@ -1495,15 +1504,6 @@ typing
14951504
or ``TD = TypedDict("TD", {})`` instead.
14961505
(Contributed by Bénédikt Tran in :gh:`133823`.)
14971506

1498-
* Code like ``class ExtraTypeVars(P1[S], Protocol[T, T2]): ...`` now raises
1499-
a :exc:`TypeError`, because ``S`` is not listed in ``Protocol`` parameters.
1500-
(Contributed by Nikita Sobolev in :gh:`137191`.)
1501-
1502-
* Code like ``class B2(A[T2], Protocol[T1, T2]): ...`` now correctly handles
1503-
type parameters order: it is ``(T1, T2)``, not ``(T2, T1)``
1504-
as it was incorrectly inferred in runtime before.
1505-
(Contributed by Nikita Sobolev in :gh:`137191`.)
1506-
15071507

15081508
wave
15091509
----

0 commit comments

Comments
 (0)