ruff
[red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from`
#15622

Merged

[red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from` #15622

AlexWaygood merged 2 commits into main from alex/type-t-subtype

AlexWaygood added ty

AlexWaygood force pushed from 832c9d64 to 0ec98cce 1 year ago

[red-knot] Simplify and generalize `Type::is_subtype_of` a little bit

2d82572a

AlexWaygood force pushed from 0ec98cce to 2d82572a 1 year ago

`is_disjoint_from` too

f7927392

AlexWaygood changed the title ~~[red-knot] Simplify and generalize `Type::is_subtype_of` a little bit~~ [red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from` 1 year ago

AlexWaygood marked this pull request as ready for review 1 year ago

AlexWaygood requested a review from

carljm 1 year ago

AlexWaygood requested a review from

MichaReiser 1 year ago

AlexWaygood requested a review from

sharkdp 1 year ago

AlexWaygood added internal

carljm approved these changes on 2025-01-22

AlexWaygood merged fbb06fe0 into main 1 year ago

AlexWaygood deleted the alex/type-t-subtype branch 1 year ago

Reviewers

carljm

MichaReiser

sharkdp

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone

ruff [red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from` #15622 Merged

[red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from` #15622

ruff
[red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from`
#15622

Merged