ruff
[red-knot] Minor cleanup to `Type::is_disjoint_from()` and `Type::is_subtype_of()`
#15260

Merged

[red-knot] Minor cleanup to `Type::is_disjoint_from()` and `Type::is_subtype_of()` #15260

AlexWaygood merged 1 commit into main from alex/disjointness-cosmetic-changes

cosmetic chnages to `Type::is_disjoint_from()`

c15774ad

AlexWaygood added ty

AlexWaygood requested a review from

carljm 273 days ago

AlexWaygood requested a review from

MichaReiser 273 days ago

AlexWaygood requested a review from

sharkdp 273 days ago

AlexWaygood enabled auto-merge (squash) 273 days ago

AlexWaygood merged 8f0e0178 into main 273 days ago

AlexWaygood deleted the alex/disjointness-cosmetic-changes branch 273 days ago

Reviewers

carljm

MichaReiser

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone