ruff
[ty] Use constraint sets as pending state in `SpecializationBuilder`
#24540
Merged
Merged
[ty] Use constraint sets as pending state in `SpecializationBuilder` #24540
dcreager
merged
38 commits into
main
from
dcreager/spec-builder-constraint-set
Base automatically changed from
dcreager/cache-solutions
to
main
37 days ago
LANDING PAD
85a1f0f1
add in-progress plan
205d9bb1
[plan] reorder phases 5 and 6
db15c74f
[π] refresh constraint-set refactor plan
7f9f0fc8
[π] 5.1 eliminate infer_map callback plumbing
7a60e422
[π] 5.2 add pending constraint set skeleton
4cb33894
[π] 5.3 dual-write add_type_mapping constraints
c07c5d06
[π] 5.4 dual-write callable/protocol constraint sets
e454b8f3
[π] 5.5 dual-write invariant equality constraints
49d03659
[π] 5.6 solve pending constraint set in build_with
b82b64a1
walk unconstrained edges separately
26475b95
[π] guard maybe_promote against vacuous lower bounds
fe673418
cache some assignability checks
256d6a93
merge main
74ce1e7f
[π] apply converter return specialization for dataclass fields
15e9f455
this is no longer failing
1d4264a1
[π] update specialization builder migration plan for first PR review
2b53477e
[π] dual-write protocol union inference
bac23a6d
[π] migrate argument type context query
136fb3c9
[π] investigate Expression performance regression
7d9dfe61
[π] investigate pydantic performance regression
3d991208
merge main
16a438e1
tighten up some naming
6f721f0c
merge main (again)
73da993a
[π] resolve specialization builder merge conflict
5829d8a1
[π] avoid leaking method typevars into collection inference
948a4f23
add GenericContext::contains
171079b0
add link to collection literal constraint set issue
5a005297
dcreager
commented
on 2026-05-22
remove spurious uv.lock
3fec7280
merge main
3a233052
[π] use local CoreSchema microbenchmark
b3252324
remove fixed TODO
fc2d3997
add pointer to mdtest
d0b07c3e
[π] restore UnionAccumulator in specialization builder
f0b882f6
document Dhruv's str/LiteralString example
28f1424a
document Never/object heuristic
7bf0ff99
merge main
cf2518c4
remove plan
486f853a
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub