Miss Islington (bot)
89db090295
bpo-44791: Fix substitution of ParamSpec in Concatenate with different parameter expressions (GH-27518)
* Substitution with a list of types returns now a tuple of types.
* Substitution with Concatenate returns now a Concatenate with
concatenated lists of arguments.
* Substitution with Ellipsis is not supported.
(cherry picked from commit ecfacc362d )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
c730342005
bpo-46529: increase coverage of `typing.Union.__repr__` method (GH-30911)
(cherry picked from commit d0c690b5f8 )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Ken Jin
9a7d010467
[3.10] bpo-46445, bpo-46519: Re-import typing.NewType (GH-30886)
Partially reverts 65b88d5e01 .
4 years ago
Miss Islington (bot)
41e0aead3d
bpo-46491: Allow Annotated on outside of Final/ClassVar (GH-30864)
We treat Annotated type arg as class-level annotation. This exempts it from checks against Final and ClassVar in order to allow using them in any nesting order.
Automerge-Triggered-By: GH:gvanrossum
(cherry picked from commit e1abffca45 )
Co-authored-by: Gregory Beauregard <greg@greg.red>
4 years ago
Nikita Sobolev
eaeb994680
[3.10] bpo-46416: Allow direct invocation of `Lib/test/test_typing.py` (GH-30641) (GH-30697)
Use `__name__`
(cherry picked from commit 2792d6d18e )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
46e6aad129
bpo-46445: Cover multiple inheritance of `TypedDict` in `test_typing` (GH-30719)
(cherry picked from commit 65b88d5e01 )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
07b12fdf55
bpo-46437: remove useless `hasattr` from `test_typing` (GH-30704)
(cherry picked from commit 263c0dd160 )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
39374c44d9
[3.10] bpo-46413: properly test `__{r}or__` code paths in `_SpecialGenericAlias` (GH-30640) (GH-30694)
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
(cherry picked from commit 0a49148e87 )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
Automerge-Triggered-By: GH:Fidget-Spinner
4 years ago
Miss Islington (bot)
baf26d07a6
bpo-46424: [typing] cover `Annotation[arg]` invalid usage in tests (GH-30663)
(cherry picked from commit 32398294fb )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
a468866a67
bpo-46345: Add a test case for implicit `Optional` class attribute (GH-30535)
(cherry picked from commit 1de60155d5 )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
87539cc716
bpo-45755: [typing] Reveal class attributes of generic in generic aliases in `dir()` (GH-29962)
(cherry picked from commit d6e1374716 )
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
4 years ago
Miss Islington (bot)
3997f3ce8a
bpo-45679: Fix caching of multi-value typing.Literal (GH-29334)
Literal[True, 2] is no longer equal to Literal[1, 2].
(cherry picked from commit 634984d7db )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
d452b2963b
bpo-45280: Add test for empty `NamedTuple` in `test_typing` (GH-28559) (GH-28571)
Co-authored-by: Dong-hee Na <donghee.na92@gmail.com>
(cherry picked from commit f56268a2cd )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
d312b8516e
bpo-45166: fixes `get_type_hints` failure on `Final` (GH-28279) (GH-28560)
Co-authored-by: Łukasz Langa <lukasz@langa.pl>
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
(cherry picked from commit 784905dbef )
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
4 years ago
Miss Islington (bot)
db762a9b21
bpo-45121: Fix RecursionError when calling Protocol.__init__ from a subclass' __init__ (GH-28206) (GH-28232)
(cherry picked from commit c11956a8bd )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
c081649e6d
bpo-45121: Fix RecursionError when calling Protocol.__init__ from a subclass' __init__ (GH-28206) (GH-28232)
(cherry picked from commit c11956a8bd )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
81fa08c5ea
bpo-44524: Fix cryptic TypeError message when trying to subclass special forms in `typing` (GH-27710)
This was a Python 3.9 regression.
(cherry picked from commit a3a4d20d67 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
06e9a35169
bpo-44524: Don't modify MRO when inheriting from typing.Annotated (GH-27841)
(cherry picked from commit 23384a1749 )
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
4 years ago
Miss Islington (bot)
5bd27c3be5
bpo-44524: Do not set _name of _SpecialForm without need (GH-27861) (GH-27871)
Because setting non-empty _name affects behavior of other code.
In most cases __name__ can be derived from __origin__.__name__.
(cherry picked from commit 4ceec49559 )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
36a2497093
bpo-44524: Fix an issue wherein `_GenericAlias._name` was not properly set for specialforms (GH-27614)
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
Co-authored-by: Łukasz Langa <lukasz@langa.pl>
(cherry picked from commit 8bdf12e99a )
Co-authored-by: Bas van Beek <43369155+BvB93@users.noreply.github.com>
4 years ago
Miss Islington (bot)
536e35ae6a
bpo-44801: Check arguments in substitution of ParamSpec in Callable (GH-27585)
(cherry picked from commit 3875a69547 )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
2cc19a5463
bpo-44806: Fix __init__ in subclasses of protocols (GH-27545)
Non-protocol subclasses of protocol ignore now the __init__ method
inherited from protocol base classes.
(cherry picked from commit 043cd60abe )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
c8db292012
bpo-44793: Fix checking the number of arguments when subscribe a generic type with ParamSpec parameter. (GH-27515)
For example Callable[P, T][[int], str, float] will now raise an error.
Use also term "arguments" instead of "parameters" in error
message for too few/many arguments.
(cherry picked from commit f92b9133ef )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
76903ff9ce
bpo-44794: Merge tests for typing.Callable and collection.abc.Callable (GH-27507)
(cherry picked from commit be4cb9089a )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
56122b0bba
bpo-44761: Change default value of NewType __module__ attr (GH-27406) (GH-27477)
(cherry picked from commit 7b975f81e4 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
472997659b
bpo-44662: Add ability to annotate types.Union (GH-27214) (GH-27461)
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
(cherry picked from commit 8182c8329c )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
8a37e8cf45
bpo-44732: Rename types.Union to types.UnionType (GH-27342)
Co-authored-by: Łukasz Langa <lukasz@langa.pl>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
(cherry picked from commit 2b8ad9e6c5 )
Co-authored-by: Hasan <hasan.aleeyev@gmail.com>
4 years ago
Miss Islington (bot)
e8c01749c0
bpo-44353: Improve tests covering typing.NewType pickling (GH-27302) (GH-27328)
(cherry picked from commit a22b05da87 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Łukasz Langa
05f5d8e48c
[3.10] bpo-44353: Expand NewType tests for complex __qualname__ (GH-27311) (GH-27326)
Make NewType pickleable by name.
(cherry picked from commit e89ef0ad2a )
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
4 years ago
Miss Islington (bot)
9ae5ba7dbf
bpo-44353: Add test to cover __or__ of two NewType (GH-27259) ( #27261 )
(cherry picked from commit 4868b94c60 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
c2f33dfc83
bpo-44353: Refactor typing.NewType into callable class (GH-27250) ( #27258 )
(cherry picked from commit 965dd76e90 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
c895f2bc4f
bpo-44524: Add missed __name__ and __qualname__ to typing module objects (GH-27237) ( #27246 )
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
(cherry picked from commit bce1418541 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Ken Jin
a272164959
bpo-44490: Improve typing module compatibility with types.Union (GH-27048) ( #27222 )
(cherry picked from commit bf89ff96e6 )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
4 years ago
Miss Islington (bot)
480f29f913
bpo-41249: Fix postponed annotations for TypedDict (GH-27017) ( #27204 )
This fixes TypedDict to work with get_type_hints and postponed evaluation of annotations across modules.
This is done by adding the module name to ForwardRef at the time the object is created and using that to resolve the globals during the evaluation.
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
(cherry picked from commit 889036f7ef )
Co-authored-by: Germán Méndez Bravo <german.mb@gmail.com>
4 years ago
Miss Islington (bot)
3df23b5199
[3.10] bpo-44468: Never skip base classes in `typing.get_type_hints()`, even with invalid `.__module__`. (GH-26862) (GH-26920)
(cherry picked from commit 7569c0fe91 )
Co-authored-by: will-ca <willchencontact@gmail.com>
Automerge-Triggered-By: GH:gvanrossum
4 years ago
Miss Islington (bot)
c55ff1b352
bpo-44098: Drop ParamSpec from most ``__parameters__`` in typing generics (GH-26013) ( #26091 )
Added two new attributes to ``_GenericAlias``:
* ``_typevar_types``, a single type or tuple of types indicating what types are treated as a ``TypeVar``. Used for ``isinstance`` checks.
* ``_paramspec_tvars ``, a boolean flag which guards special behavior for dealing with ``ParamSpec``. Setting it to ``True`` means this class deals with ``ParamSpec``.
Automerge-Triggered-By: GH:gvanrossum
(cherry picked from commit b2f3f8e3d8 )
5 years ago
Miss Islington (bot)
a2d94a0a9b
bpo-38908: Fix issue when non runtime_protocol failed to raise TypeError (GH-26067)
(cherry picked from commit c40486a32d )
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
5 years ago
Ken Jin
05ab4b60ab
bpo-43766: Implement PEP 647 (User-Defined Type Guards) in typing.py ( #25282 )
5 years ago
Ken Jin
1b1f9852bd
bpo-42904: Change search order of typing.get_type_hints eval ( #25632 )
While surprising (searching globals before locals in one specific case), this is needed for backwards compatibility.
5 years ago
Pablo Galindo
b0544ba77c
bpo-38605: Revert making 'from __future__ import annotations' the default (GH-25490)
This reverts commits 044a1048ca and 1be456ae9d , adapting the code to changes that happened after it.
5 years ago
Karthikeyan Singaravelan
eb77133564
bpo41515: Fix assert in test which throws SyntaxWarning. ( #25379 )
5 years ago
Karthikeyan Singaravelan
a9cf69df2e
bpo-41515: Fix KeyError raised in get_type_hints (GH-25352)
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
Co-authored-by: efahl <36704995+efahl@users.noreply.github.com>
5 years ago
Ken Jin
852150ddfe
bpo-42904: Fix get_type_hints for class local namespaces (GH-24201)
5 years ago
Jelle Zijlstra
9045919bfa
bpo-43772: Fix TypeVar.__ror__ (GH-25339)
5 years ago
Jelle Zijlstra
522433601a
bpo-43783: Add ParamSpecArgs/Kwargs (GH-25298)
5 years ago
Ken Jin
efb1f0918f
bpo-42740: Support PEP 604, 612 for typing.py get_args and get_origin (GH-23942)
5 years ago
Ken Jin
4140f10a16
bpo-42740: Fix get_args for PEP 585 collections.abc.Callable (GH-23963)
PR 1/2. Needs backport to 3.9.
5 years ago
kj
73607be686
bpo-41559: Implement PEP 612 - Add ParamSpec and Concatenate to typing ( #23702 )
5 years ago
kj
463c7d3d14
bpo-42195: Ensure consistency of Callable's __args__ in collections.abc and typing (GH-23060)
5 years ago
Alex Grönholm
67b769f515
bpo-42059: Fix required/optional keys for TypedDict(..., total=False) (GH-22736)
5 years ago