PR #18852 [ty] Fix mixed tuple subtyping

[ty] Fix mixed tuple subtyping #18852

carljm merged 3 commits into main from cjm/tuplefix

[ty] Fix mixed tuple subtyping

32ff68af

carljm added internal

carljm requested a review from

AlexWaygood 224 days ago

carljm added ty

carljm requested a review from

sharkdp 224 days ago

carljm requested a review from

dcreager 224 days ago

MichaReiser commented on 2025-06-21

Use itertools zip_longest

4702dfcb

Restore relevant comment.

ed0e677e

MichaReiser approved these changes on 2025-06-21

carljm merged 089f5152 into main 224 days ago

carljm deleted the cjm/tuplefix branch 224 days ago

dcreager commented on 2025-06-23

Reviewers

MichaReiser

dcreager

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone