Solve issues with deferral; related minor corrections by LordGiacomoS · Pull Request #1 · Viicos/typeshed · GitHub

Fixes crash in mypy (python/mypy#21588) that caused deferral of this branch's PR (python/typeshed#13740) on the main typeshed, because while the crash could be solved in mypy, it seems more prudent to use this typeshed-based solution. Solutions that would modify mypy's code would introduce a redundant version check and still have the crash if an up-to-date version of typeshed isn't used. The exact changes that fix the crash are specifically the changes to stdlib/types.pyi in 76cf69a).

Other minor corrections:

get_origin overload changes (changes to stdlib/typing.pyi & stdlib/typing_extensions.pyi in 40d9f63) were done to solve conflicting overloads issue occuring during ./tests/mypy_test.py stdlib when Union changes are in effect.
- tested to work with mypy despite changes, even in case of ParamSpecArgs or ParamSpecKwargs instances being provided.
changes to builtins.type.__or__ & builtins.type.__ror__ (changes to stdlib/builtins.pyi in 40d9f63) were made to fix an issue with how mypy displays reveal_type calls on pep 604 unions (e.g. reveal_type(str | int) -> types.UnionType | def () -> int).
remaining changes (changes to stdlib/types.pyi in 40d9f63; all changes in 96f1bf1) are minor amendments to fix incredibly minor details and make the linter happy.

Remaining Concerns:

Mypy still raises inaccurate concerns about Unions when running test cases (currently working on this one)
Pyright still raises inaccurate concerns about Unions when running test cases (next on my to-do list)
stubtest errors introduced by Viicos's change and still not fixed
- typing.Union.__name__ & typing.Union.__qualname__: Given that it is valid when running mypy over code accessing these specific class properties, I don't believe this check is actually necessary, as they seemingly already exist implicitly. I'm not confident enough in this belief to touch things though.
- unused allowlist entry notes:
  - typing.Union: It doesn't seem like classes themselves are able to be allowlist entries, so maybe this should be something like typing.Union.*?
  - others: I don't think any of these are actually necessary (or possible) to implement, unless checking for a negative, as the methods don't exist independently of typing.Union

Stubtests: https://github.com/LordGiacomoS/typeshed/actions/runs/29355015820 (runs a different branch to allow me to use modified version of mypy to fix more minor errors that aren't in scope of crash specifically)
Tests: https://github.com/LordGiacomoS/typeshed/actions/runs/28957923025

Stubtest errors excerpt

Sourced from: https://github.com/LordGiacomoS/typeshed/actions/runs/28900665825/job/85736371504

error: typing.Union.__name__ is not present in stub
Stub: in file /home/runner/work/typeshed/typeshed/stdlib/typing.pyi
MISSING
Runtime:
'Union'

error: typing.Union.__qualname__ is not present in stub
Stub: in file /home/runner/work/typeshed/typeshed/stdlib/typing.pyi
MISSING
Runtime:
'Union'

note: unused allowlist entry typing.Union
note: unused allowlist entry types.UnionType.__class_getitem__
note: unused allowlist entry types.UnionType.__mro_entries__
note: unused allowlist entry types.UnionType.__name__
note: unused allowlist entry types.UnionType.__qualname__
Found 7 errors (checked 700 modules)

Add a few additional annotations

Update subsample and zoom method signatures

)

…5882)

)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* Add Python 3.15 TypedDict attributes * Use AnnotationForm for TypedDict extra items

…thon#15893)

…ers (python#15889)

…14 (python#15900)

…be `None` (python#15901)

…manually" invoking Black (python#15909)

…thon#15899)

* `typing_extensions`: re-export `builtins.sentinel` on Python 3.15+ This would make ty's implementation of `builtins.sentinel` a little easier * Update typing_extensions.pyi * Update typing_extensions version to 4.16.0rc1 * Update typing_extensions.pyi * allow * a surprise, to be sure, but a welcome one * Update stdlib/typing_extensions.pyi * harmonize builtins and typing_extensions, fix various `__(r)or__` methods * Apply suggestions from code review

…Dict` (python#15943)

See python#15947 for details. Closes: python#15942

* Update typing_extensions.TypeVarTuple with new backported features * Update typing_extensions to 4.16.0rc2 --------- Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

…inct (python#15949) it would be too easy for an eager contributor to revert python@4531374 in the name of simplifying the stub

…#15956)

* Add typed fields, queries, and update to some of the new APIs * Type the field classes * Type query results * Mark kwargs TypedDicts type_check_only and fix TypedDict import * Instead of separating get/set, just override for BigBitField.

…thon#15955)

…ython#15963)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

* Update most test/lint dependencies * Update metadata.py --------- Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

…fect While existing examples of changing a class to an alias, such as `shutil.ExecError` -> `RuntimeError` and `socket.timeout` -> `TimeoutError`, use `<old> = <new>` syntax, this change causes issues for typing.Union in particular. The syntax creates an intermediary TypeAlias object, which is an issue in this particular case because mypy asserts that `types.UnionType` is an actual type, and not an alias pointing to another type. Instead, the code employs a technique regularly used by typing_extensions, and imports the new type under the pseudonym of the old type.

Previous commit message was also amended to slightly better explain how the crash fix actually works

- removed some inaccurate notes left over from when Viicos copied types.UnionType - added optional `@classmethod` decorator to `typing.Union.__class_getitem__`, to be in line with `typing._Generic.__class_getitem__` - make args of `typing.Union.__class_getitem__` positional, as per stubtest instruction

for purposes of passing certain stubtests that would otherwise fail due to outdated stubs

Latest commit (#2eccc22 ) fixes issue found when running test cases on python 3.14 & 3.15, across all operating systems

Issue in question

Source: https://github.com/LordGiacomoS/typeshed/actions/runs/29354539513/job/87161643214#step:4

mypy --platform {linux, darwin, win32} --python-version {3.14, 3.15} on the standard library test cases: FAILURE

stdlib/@tests/test_cases/check_types.py:82: error: Expression is of type
"<typing special form>", not "Never | Any"  [assert-type]
        assert_type(union_type | Literal[1], types.UnionType | Any)
        ^

…being GenericAlias

The changes to builtins.type.__or__ & builtins.type.__ror__ (changes to stdlib/builtins.pyi in 40d9f63) currently break mypy's handling of unions and that fact, combined with how messy this branch is (due to tacking on a number of other commits as a brute force approach to solving a specific problem) and the lack of visibility/feedback here, leads me to believe that closing this PR, cleaning up the changes, and opening one on the mainline typeshed repo is the best approach to solve these issues.

Soulsuck24 and others added 30 commits June 4, 2026 13:28

[yt-dlp] Add typing for postprocessor_hooks (python#15810 )

a8e75dc

Fix 3.15 stdlib stubtest (python#15863 )

0ffff97

[kafka-python] Update to 2.3.2 (python#15864 )

567a205

Add a few additional annotations

Fix tkinter subsample and zoom method signatures (python#15869 )

df676eb

Update subsample and zoom method signatures

Add grpc.experimental.gevent stubs (python#15839 )

1a1d600

msilib: fix type annotation (python#15836 )

8153eb2

[stubsabot] Bump bleach to 6.4.* (python#15873 )

6164242

[Flask-Cors] Update to 6.0.3 (python#15875 )

5abcfd8

[tqdm] Update to 4.68.* (python#15876 )

000e990

base64: More precise file types for encode and decode (python#15877 )

a735e4e

Calendar: Fix return types of iter methods (python#15878 )

64869a2

Revert "Fix label links in CONTRIBUTING.md (python#14272 )" (python#15883

17ce80f

)

Link to typing spec section on partial stubs instead of PEP (python#1…

e23cae8

…5882)

[pywin32] Update to 312 (python#15871 )

c793d63

[Flask-Cors] Mark as obsolete since 6.0.4 and pin to 6.0.3 (python#15880

a4282ec

)

Fix type errors in pywin32 using types-pywin32 (python#13844 )

abc114f

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Change dependencies from types-requests to requests (python#15813 )

d3504dd

Add Python 3.15 TypedDict attributes (python#15887 )

32b95c1

* Add Python 3.15 TypedDict attributes * Use AnnotationForm for TypedDict extra items

[typing] Mark some NamedTuple methods as @final (python#15895 )

dde362c

[socket/_socket] Add Python 3.14 Linux Bluetooth socket constants (py…

8c73bec

…thon#15893)

[networkx] Fix type hints for networkx birank personalization paramet…

7ae857f

…ers (python#15889)

[WebTest] Add stubs (python#14541 )

560611a

[boltons] Improve dictutils stubs (python#15879 )

7e1dfd9

[pyexpat] Billion laughs mitigation methods backported to 3.13 and 3.…

b2d38dc

…14 (python#15900)

[sys] set_lazy_imports_filter's first arg (importing_module) can …

d25e1e7

…be `None` (python#15901)

[stubsabot] Process packages alphabetically (python#15905 )

7e3b6cd

Add NamedTuple __match_args__ attribute (python#15906 )

95aa599

Set tool.black.exclude so that stdlib/venv is not excluded when "…

99ecff2

…manually" invoking Black (python#15909)

[pysftp] Mark as no longer updated (python#15903 )

66e3617

[grpcio] Fix AioRpcError.trailing_metadata and Metadata iteration (py…

1bfb1fb

…thon#15899)

AlexWaygood and others added 24 commits June 24, 2026 17:10

Simplify some GitHub workflows (python#15940 )

289e5d3

Make typing_extensions.TypedDict a distinct symbol to `typing.Typed…

4531374

…Dict` (python#15943)

Update dependency pyright to v1.1.411 (python#15945 )

8769b5b

[JACK-Client] Temporarily disable stubtest on darwin (python#15948 )

d804ee4

See python#15947 for details. Closes: python#15942

Update typing_extensions to >=4.16.0rc2 (python#15946 )

10c1405

* Update typing_extensions.TypeVarTuple with new backported features * Update typing_extensions to 4.16.0rc2 --------- Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

Add comment explaining why typing_extensions.TypedDict is kept dist…

3c62217

…inct (python#15949) it would be too easy for an eager contributor to revert python@4531374 in the name of simplifying the stub

[geopandas] Bump to 1.1.4 (python#15950 )

46eff1b

[geopandas] Change 'how' parameter type to Literal in overlay (python…

cc36aca

…#15956)

[regex] Bump to 2026.6.28 (python#15964 )

4f27e74

[atheris] Update to 3.1.0 (python#15959 )

1658f9e

[shapely] Narrower types for geom_type in BaseGeometry subclasses (py…

f7fa13e

…thon#15955)

[fnmatch] fnmatch , filter , and filterfalse accept PathLike s (p…

b9090e9

…ython#15963)

Update GitHub Actions (python#15968 )

a8373a6

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Update most test/lint dependencies (python#15967 )

2c6bf6b

* Update most test/lint dependencies * Update metadata.py --------- Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

[pycurl] Update stubs to 7.47.0 (python#15971 )

07d5d81

[croniter] Bump to 6.2.3 (python#15972 )

323d5a4

Fix issue with how typing.get_origin signature is affected by changes

40d9f63

Previous commit message was also amended to slightly better explain how the crash fix actually works

Merge branch 'main' into union-314_mypy_crashfix

c04240e

for purposes of passing certain stubtests that would otherwise fail due to outdated stubs

add "add typing.Union.__mro_entries__"

899a8d2

fix issue caused by me trying to be too specific with return types

2eccc22

LordGiacomoS marked this pull request as draft July 21, 2026 14:34

LordGiacomoS added 2 commits July 21, 2026 10:38

fix return type for Union.__class_getitem__ being out of spec by not …

7936534

…being GenericAlias

revert previous commit + note out of spec behavior

cc2e0d7

LordGiacomoS closed this Jul 23, 2026

Solve issues with deferral; related minor corrections by LordGiacomoS · Pull Request #1 · Viicos/typeshed · GitHub

Solve issues with deferral; related minor corrections - #1

Solve issues with deferral; related minor corrections#1
LordGiacomoS wants to merge 73 commits into
Viicos:union-314from
LordGiacomoS:union-314_mypy_crashfix

LordGiacomoS commented Jul 14, 2026 •
edited
Loading

Uh oh!

Uh oh!

LordGiacomoS commented Jul 16, 2026

Uh oh!

LordGiacomoS commented Jul 23, 2026 •
edited
Loading

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

20 participants

Solve issues with deferral; related minor corrections by LordGiacomoS · Pull Request #1 · Viicos/typeshed · GitHub

Solve issues with deferral; related minor corrections - #1

Solve issues with deferral; related minor corrections#1LordGiacomoS wants to merge 73 commits intoViicos:union-314Viicos/typeshed:union-314from LordGiacomoS:union-314_mypy_crashfixLordGiacomoS/typeshed:union-314_mypy_crashfixCopy head branch name to clipboard

Conversation

LordGiacomoS commented Jul 14, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

LordGiacomoS commented Jul 16, 2026

Uh oh!

LordGiacomoS commented Jul 23, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

20 participants

Solve issues with deferral; related minor corrections#1
LordGiacomoS wants to merge 73 commits into
Viicos:union-314from
LordGiacomoS:union-314_mypy_crashfix

LordGiacomoS commented Jul 14, 2026 •
edited
Loading

LordGiacomoS commented Jul 23, 2026 •
edited
Loading