ruff
[ty] Implement constraint implication for compound types
#21366

Merged

[ty] Implement constraint implication for compound types #21366

dcreager merged 13 commits into main from dcreager/deep-comparison

dcreager added internal

dcreager requested a review from

carljm 29 days ago

dcreager requested a review from

AlexWaygood 29 days ago

dcreager requested a review from

sharkdp 29 days ago

dcreager added ty

dcreager force pushed from f0cd8337 to f3b001d1 29 days ago

dcreager force pushed from f3b001d1 to b39afa77 29 days ago

dcreager added ecosystem-analyzer

Base automatically changed from dcreager/pep-self to main 29 days ago

add failing tests

ac16a9fc

add constraint implication relation

27ab1e9f

move implementation

18319d33

fix a test

4ea6e668

skip typevar propagation when it's not helpful

57514926

pass in relation

4cea4de2

Revert "pass in relation"

8623176d

dcreager force pushed from b39afa77 to 8623176d 29 days ago

dcreager removed ecosystem-analyzer

dcreager added ecosystem-analyzer

sharkdp assigned

sharkdp 28 days ago

carljm removed review request from

carljm 28 days ago

sharkdp approved these changes on 2025-11-12

Apply suggestions from code review

e648afe6

name tweak

bb682977

Merge remote-tracking branch 'origin/main' into dcreager/deep-comparison

f83a5a3c

implies_subtype_of

21b3e096

SubtypingAssuming

d0ad3a55

assuming

944f574a

dcreager merged 698231a4 into main 25 days ago

dcreager deleted the dcreager/deep-comparison branch 25 days ago

Reviewers

sharkdp

AlexWaygood

Assignees

sharkdp

Labels

internal ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] Implement constraint implication for compound types #21366 Merged

[ty] Implement constraint implication for compound types #21366

ruff
[ty] Implement constraint implication for compound types
#21366

Merged