[ty] Create fresh copies of generic callable typevars #24949
dcreager
merged
32 commits into
main
from
dcreager/alpha-renaming
[π] Add alpha-renaming mdtest expectations
13865a2b
[π] Plan bound-typevar nonce freshening
68f35e40
[π] Add bound typevar nonce scaffolding
a2a4a795
[π] Add generic context freshening helper
a533cf93
[π] Freshen direct generic callable calls
45625859
[π] Avoid unnecessary direct call freshening
3693fa1d
[π] Freshen generic callable signature relations
db9876fd
[π] Investigate remaining listify constraint expectation
f80cdd75
[π] Validate phase 5 fresh typevar behavior
fd1f1640
[π] Final audit fresh callable expectations
18e276a9
[π] Document fresh typevar followups
f7666734
remove finished plan
c6fa6955
merge main
f1eb51e3
clippy
b8207473
[π] Freshen repeated generic callable contexts
97b9f42c
[π] Add new plan
8153ce1c
[π] Convert typevar freshness nonce representation
34b0a285
[π] Add deterministic generic context bumping
bfbe4609
[π] Use deterministic relation signature freshening
8a85df53
clean up some of this mess
f6c50308
[π] Update implies_subtype_of mdtests for freshening
1617959d
clippy
e2d7ee37
remove unused next_nonce
3decd5f9
document shared nonce
aaff7ce1
merge main
0d216a8c
merge main
000c8f3f
take in identity in contains
1d0790c4
revert unnecessary doc change
209d9cbd
merge main
34900fa1
fix todo comment
3732d358
remove finished plan
8bfb8e85
charliermarsh
commented
on 2026-06-05
charliermarsh
approved these changes
on 2026-06-05
[ty] Avoid materializing enclosing generic contexts (#25670)
dca5384f
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub