ruff
[ty] Decide satisfiability of simple typevar-free conjunctions directly
#27178

Merged

[ty] Decide satisfiability of simple typevar-free conjunctions directly #27178

dcreager merged 18 commits into astral-sh:main from benedikt-bartscher:ty-fast-path-simple-conjunction-satisfiability

astral-sh-bot added ty

carljm marked this pull request as ready for review 52 days ago

carljm requested a review 52 days ago

astral-sh-bot requested a review from

MichaReiser 52 days ago

carljm removed review request from

MichaReiser 52 days ago

carljm requested a review from

carljm 52 days ago

carljm approved these changes on 2026-07-25

carljm requested a review from

dcreager 52 days ago

AlexWaygood commented on 2026-07-25

AlexWaygood commented on 2026-07-27

[ty] Decide satisfiability of simple typevar-free conjunctions directly

6d1ab588

[ty] Add Sequence literal union access benchmark

4708a955

[ty] Fix simple conjunction constraint handling

2f5d7cd4

[ty] Address review comments on bound_requires_sequent_analysis

49d3681f

[ty] Restore concrete constraint fast paths

339768ec

[ty] Clarify TypedDict fast-path exclusions

991b3dd5

[ty] Update constraint tests for TypeVarSet

94de3a1e

carljm force pushed from 8750c61e to 94de3a1e 49 days ago

dcreager commented on 2026-07-28

carljm marked this pull request as draft 48 days ago

just skip pruning altogether

4e005283

dedup constraint-pair sequent map elaboration correctly

33606063

add (but don't yet use) `perform_expensive_checks`

15c7187c

skip constraint pairs that cannot produce constraints

01ad6770

cache constraint pairs in single direction

7ef49c7d

skip some expensive non-trivial disjointness checks

dbb47560

remove old checks

e55173ba

add simpler linear shortcut

71fa611a

dcreager requested a review from

carljm 48 days ago

dcreager marked this pull request as ready for review 48 days ago

carljm approved these changes on 2026-07-28

merge main

003dfae8

[π] Address constraint-bound and cheap-disjointness review comments

2e42dd5b

[π] Simplify effective upper-bound detection

e3e46de4

dcreager merged 8e5cd421 into main 47 days ago

Reviewers

carljm

dcreager

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Decide satisfiability of simple typevar-free conjunctions directly #27178 Merged

[ty] Decide satisfiability of simple typevar-free conjunctions directly #27178

ruff
[ty] Decide satisfiability of simple typevar-free conjunctions directly
#27178

Merged