ruff
[ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()`
#19230

Merged

[ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()` #19230

AlexWaygood merged 4 commits into main from alex/remove-equivalent-check

Remove expensive equivalence checks from `Type::has_relation_to()`

34825cdf

other micro-optimisations

6ae874b1

add comment

a490c443

AlexWaygood added performance

AlexWaygood added ty

pre-commit

6c9d9fbe

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

AlexWaygood requested a review from

carljm 224 days ago

AlexWaygood requested a review from

sharkdp 224 days ago

AlexWaygood requested a review from

dcreager 224 days ago

AlexWaygood changed the title ~~[ty] Remove expensive and unnecessary equivalence check from the top of `Type::has_relation_to()`~~ [ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()` 224 days ago

sharkdp approved these changes on 2025-07-10

AlexWaygood merged 59aa8697 into main 223 days ago

AlexWaygood deleted the alex/remove-equivalent-check branch 223 days ago

Reviewers

sharkdp

carljm

dcreager

Assignees

No one assigned

Labels

performance ty

Milestone

No milestone

ruff [ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()` #19230 Merged

[ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()` #19230

ruff
[ty] Optimize protocol subtyping by removing expensive and unnecessary equivalence check from the top of `Type::has_relation_to()`
#19230

Merged