PR #20602 [ty] Introduce `TypeRelation::Redundancy`

[ty] Introduce `TypeRelation::Redundancy` #20602

AlexWaygood merged 9 commits into main from alex/third-type-relation

AlexWaygood added ty

AlexWaygood added ecosystem-analyzer

AlexWaygood added performance

AlexWaygood force pushed from f7b458a2 to 32c55bc6 8 days ago

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

AlexWaygood marked this pull request as ready for review 8 days ago

AlexWaygood requested a review from

carljm 8 days ago

AlexWaygood requested a review from

sharkdp 8 days ago

AlexWaygood requested a review from

dcreager 8 days ago

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

AlexWaygood force pushed from 63ecee51 to fd4d5042 8 days ago

dcreager commented on 2025-09-29

AlexWaygood force pushed from 59fe101c to 57981a96 5 days ago

AlexWaygood requested a review from

dcreager 5 days ago

JelleZijlstra commented on 2025-09-30

AlexWaygood commented on 2025-09-30

JelleZijlstra commented on 2025-09-30

dcreager commented on 2025-09-30

AlexWaygood force pushed from 57981a96 to 0d0444c7 5 days ago

AlexWaygood changed the base branch from main to alex/non-fully-static-negations 5 days ago

AlexWaygood force-pushed the alex/non-fully-static-negations branch from 3ea3541f to e8ec64ef 5 days ago

AlexWaygood force pushed from 0d0444c7 to a40bd9aa 5 days ago

AlexWaygood force-pushed the alex/non-fully-static-negations branch from e8ec64ef to 3ef117ed 3 days ago

AlexWaygood force pushed from 1d7d9d1f to e6bd09f3 3 days ago

[ty] Introduce `TypeRelation::UnionSimplification`

0ba30463

fix regression, add more tests

1ea1e06a

moar tests

69817358

docs

0b51b67b

8acc7d06

theory

5664d279

fix tests after rebase

38ed6bf0

some review comments

47916beb

Rename to `TypeRelation::Redundancy`

3f54ca79

AlexWaygood force pushed from 3a769ea2 to 3f54ca79 2 days ago

AlexWaygood changed the base branch from alex/non-fully-static-negations to main 2 days ago

AlexWaygood changed the title ~~[ty] Introduce `TypeRelation::UnionSimplification`~~ [ty] Introduce `TypeRelation::Redundancy` 2 days ago

AlexWaygood requested a review from

dcreager 2 days ago

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

dcreager approved these changes on 2025-10-03

AlexWaygood merged c91b4570 into main 2 days ago

AlexWaygood deleted the alex/third-type-relation branch 2 days ago

sharkdp commented on 2025-10-06

Reviewers

dcreager

sharkdp

JelleZijlstra

carljm

Assignees

No one assigned

Labels

performance ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] Introduce `TypeRelation::Redundancy` #20602 Merged

[ty] Introduce `TypeRelation::Redundancy` #20602

ruff
[ty] Introduce `TypeRelation::Redundancy`
#20602

Merged