ruff
[ty] Better handling of "derived information" in constraint sets
#21463

Merged

[ty] Better handling of "derived information" in constraint sets #21463

dcreager merged 22 commits into main from dcreager/ordering-bug

dcreager added internal

dcreager added ty

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

dcreager requested a review from

carljm 76 days ago

dcreager requested a review from

AlexWaygood 76 days ago

dcreager requested a review from

sharkdp 76 days ago

dcreager force pushed from 2cf80e08 to 77334179 76 days ago

sharkdp commented on 2025-11-17

Base automatically changed from dcreager/coolable to main 73 days ago

add failing test

f4e46c9a

add sequent map

ef083342

sequent paths

f9f04260

use sequent map

cd87da20

don't include unhelpful sequents

fec701e9

fix path containment check

206ef252

back to customizable return type

68e1b967

never too

ea0bffb5

restructure this a bit

4b7f75ad

don't most simplifies

fafb1961

transitive closure

55e7ede2

use sequents in exists

c3fbe026

remove unused stuff

51590688

clarify comment

e6499e23

:fire: domain

efcef459

add historical note

8bb819a8

this is no longer true

f853aad5

document sequent map more

eb451dc7

one more comment for the road

137a057a

whopps

1b94bbdd

dcreager force pushed from 6fe0caaa to 1b94bbdd 73 days ago

move if guard

b700a312

fix docs

a87c3d9e

sharkdp approved these changes on 2025-11-18

dcreager merged f67236b9 into main 72 days ago

dcreager deleted the dcreager/ordering-bug branch 72 days ago

Reviewers

sharkdp

carljm

AlexWaygood

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone

ruff [ty] Better handling of "derived information" in constraint sets #21463 Merged

[ty] Better handling of "derived information" in constraint sets #21463

ruff
[ty] Better handling of "derived information" in constraint sets
#21463

Merged