ruff
[ty] WIP: Check typevar assignability using constraint sets
#20093

Open

[ty] WIP: Check typevar assignability using constraint sets #20093

dcreager wants to merge 17 commits into main from dcreager/real-constraint-sets

AlexWaygood added ty

dcreager force pushed from 7ddd258c to 3ae013c7 110 days ago

dcreager force pushed from 3ae013c7 to 50f4f6e4 110 days ago

dcreager force pushed from 50f4f6e4 to 473413f7 110 days ago

dcreager force pushed from 473413f7 to 553da322 109 days ago

dcreager force pushed from ea73bcd4 to d670aa97 109 days ago

dcreager force pushed from d670aa97 to 4b4fc920 109 days ago

dcreager force pushed from 4b4fc920 to 266b878f 109 days ago

dcreager force pushed from 266b878f to 81cbc18f 109 days ago

dcreager force pushed from 81cbc18f to 6514d3e8 109 days ago

Base automatically changed from dcreager/dummy-constraint-sets to main 108 days ago

dcreager force pushed from 6514d3e8 to 37b0ec97 108 days ago

dcreager added ecosystem-analyzer

dcreager removed ecosystem-analyzer

dcreager added ecosystem-analyzer

dcreager removed ecosystem-analyzer

dcreager added ecosystem-analyzer

dcreager force pushed from a2117510 to 8b48ddd4 97 days ago

dcreager force pushed from 474b036e to ced99ce6 97 days ago

dcreager force pushed from ced99ce6 to b7075a0c 96 days ago

dcreager force pushed from b7075a0c to 9a871024 95 days ago

dcreager force pushed from 9a871024 to 48b9e216 95 days ago

dcreager force pushed from 48b9e216 to def3cd1c 94 days ago

dcreager force pushed from def3cd1c to 2ffb3ca8 94 days ago

dcreager force pushed from 2ffb3ca8 to e5282108 94 days ago

dcreager force pushed from e5282108 to 4cf1dc12 94 days ago

dcreager force pushed from 4cf1dc12 to 5b879ced 94 days ago

dcreager force pushed from 5b879ced to 37463f86 90 days ago

dcreager force pushed from 37463f86 to 88049529 89 days ago

dcreager removed ecosystem-analyzer

dcreager added ecosystem-analyzer

dcreager force pushed from 88049529 to 50781f70 88 days ago

dcreager force pushed from 9371ecf8 to a31eed67 88 days ago

dcreager force pushed from a31eed67 to ff9fd75b 87 days ago

dcreager force pushed from ff9fd75b to ac581d6c 82 days ago

dcreager force pushed from ac581d6c to 9723e51a 81 days ago

dcreager force pushed from 9723e51a to 786ddbb4 81 days ago

dcreager force pushed from 786ddbb4 to cefa6083 81 days ago

dcreager force pushed from cefa6083 to b32d73e8 81 days ago

dcreager force pushed from b32d73e8 to 40f7b0cd 81 days ago

dcreager force pushed from 40f7b0cd to 725a6bc0 80 days ago

dcreager force pushed from 725a6bc0 to 3fa0cb71 80 days ago

dcreager force pushed from 3fa0cb71 to 502fbeb8 80 days ago

dcreager commented on 2025-09-30

dcreager force pushed from 499eec15 to 7a43aaca 60 days ago

dcreager force pushed from 7a43aaca to e561a629 60 days ago

dcreager force pushed from 519a9c32 to 8e754a40 21 days ago

dcreager changed the base branch from main to dcreager/unconstrained-typevar 21 days ago

Base automatically changed from dcreager/unconstrained-typevar to main 20 days ago

limit to valid specs in display

36e78273

_use_ satisfies_all_typevars

53a707a9

tautology

290868b7

test fixes from codex

2d301b63

huh

fe19d2de

check lower/upper bounds in satisfied_by_all_typevars

221507f8

existential on inferable typevars

2292e6f5

only abstract the typevars we actually depend on

34e486f7

gah only inferable

3a288ac8

codex experiments

3bc3ceda

dcreager force pushed from 8e754a40 to 3bc3ceda 20 days ago

still convincing myself of this

55f26086

algebraic

e4b93506

wait does this really work?

a7b1876d

don't create T ≤ T constraints

ac592985

flip the algebra

cb37f7a9

limit to valid specializations when reducing

ce7ff4c4

clean up algebra

f48f0bc5

Reviewers

No reviews

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] WIP: Check typevar assignability using constraint sets #20093 Open

[ty] WIP: Check typevar assignability using constraint sets #20093

ruff
[ty] WIP: Check typevar assignability using constraint sets
#20093

Open