Implement support for closed TypedDicts (PEP 728) - #21382

Merged

ilevkivskyi merged 43 commits into

python:masterfrom

alicederyn:closed.keyword

Jun 2, 2026

Commits on May 3, 2026

Support nested special forms in functional syntax
alicederyn
committed
fa59235
Subtypes fix: required keys must remain required
alicederyn
committed
c06fef7
Meet fix: mutable keys must remain mutable
alicederyn
committed
4a82d3c
Improve TypedDict meet
alicederyn
committed
ca099f4
Join fix: readonly keys must remain readonly
alicederyn
committed
f79ba70
Improve TypedDict join
alicederyn
committed
2ed7992
Expand TypedDict subclassing tests
alicederyn
committed
ab1a151
Support type refinement in TypedDict subclasses
alicederyn
committed
e626c19
Fix TypeAnalyser to retain readonly keys
alicederyn
committed
d8c619d
Narrow on explicitly uninhabited keys
alicederyn
committed
e7372e4
Support parsing TypedDict closed keyword
alicederyn
committed
c7115c1
Implement closed support in TypedDict subtyping
alicederyn
committed
bce4b17
Implement closed support in subclassing
alicederyn
committed
90cb21f
Implement closed support in join logic
alicederyn
committed
4106525
Implement closed support in meet logic
alicederyn
committed
6cc0d63
Implement closed support in narrowing
alicederyn
committed
5bfcc43
Implement TypeVar support in narrowing
alicederyn
committed
d7449df
Implement closed support in astdiff
alicederyn
committed
2621704
Implement closed support in stubgen
alicederyn
committed
34a13de
Implement closed support in serialization
alicederyn
committed
87ede99
Implement closed support in TypeAnalyser
alicederyn
committed
bbdd827
Implement closed support in unpacking
alicederyn
committed
c1ff8b3
Implement closed support in expandtype
alicederyn
committed
ca5a13f
Implement closed support in get method
alicederyn
committed
4d3a7b0

Commits on May 19, 2026

Merge branch 'master' into closed.keyword
alicederyn
authored
877e000

Commits on May 20, 2026

Fix bug with join and Any
alicederyn
committed
6f3291b
Fix bug with meet and Any
alicederyn
committed
776eb10
Refactor common logic into zipall
alicederyn
committed
05d3a4b
Fix assumption that missing items are ReadOnly
alicederyn
committed
022a501
Allow adding Never items to closed subtypes
alicederyn
committed
bd05e88
Reword not-required compatibility error messages
alicederyn
committed
d102505
Test case from no error to error
alicederyn
committed
9279a01
Delay subtype validation to TypeChecker
alicederyn
committed
2d1333c
Add closed keyword to TypedDict docs
alicederyn
committed
4ee7856

Commits on May 26, 2026

Commits on Jun 1, 2026

Manually wrap strings/comments
alicederyn
committed
42ec16f
Remove unnecessary extra newline
alicederyn
committed
5cbb687
Document new TypedDict inheritance rules
alicederyn
committed
31b5045

Commits on Jun 2, 2026

Merge branch 'master' into closed.keyword
alicederyn
authored
fbd2818