[ty] Avoid order-dependent inference for guarded attributes - #27550

Draft

charliermarsh wants to merge 17 commits into

charlie/fix-present-key-todosfrom

charlie/fix-4076-deferred-attribute-presence

Commits on Aug 6, 2026

[ty] Broaden present-key narrowing
charliermarsh
committed
8b84eda
[ty] Preserve TypeGuard replacement after key checks
charliermarsh
committed
7dcece7
[ty] Preserve Mapping membership facts
charliermarsh
committed
f470d14
[ty] Apply key facts to TypeGuard replacements
charliermarsh
committed
4a58666
[ty] Filter contradictory Mapping key constraints
charliermarsh
committed
77d60ed
[ty] Retain optional key facts after replacements
charliermarsh
committed
1ff9e52
[ty] Preserve replacements across absent key facts
charliermarsh
committed
e84386e
[ty] Document key-membership narrowing
charliermarsh
committed
73b3b31
[ty] Use ThinVec
charliermarsh
committed
ed82c02
Remove is_or_contains_typeddict arm
charliermarsh
committed
018c8ae
[ty] Synthesize precise TypedDict membership
charliermarsh
committed
3e58092
[ty] Avoid eager TypedDict membership overloads
charliermarsh
committed
6d9d1e6
Revert "[ty] Avoid eager TypedDict membership overloads"
charliermarsh
committed
09c9c37
[ty] Preserve closed TypedDict key narrowing
charliermarsh
committed
5787477
[ty] Preserve key facts across replacement narrowing
charliermarsh
committed
a8bc273
[ty] Distinguish TypeGuard replacement narrowing
charliermarsh
committed
71eb809
[ty] Avoid order-dependent inference for guarded attributes
charliermarsh
committed
9bd243f