ruff
[ty] Allow equality narrowing for unions
#25015
Closed
Overview
Commits
4
Changes
View On GitHub

[ty] Allow equality narrowing for unions #25015

charliermarsh wants to merge 4 commits into main from charlie/eq-narrow
charliermarsh
astral-sh-bot astral-sh-bot added ty
astral-sh-bot
astral-sh-bot
astral-sh-bot
charliermarsh charliermarsh force pushed from c9af4085 to fd122633 12 days ago
charliermarsh charliermarsh marked this pull request as ready for review 12 days ago
charliermarsh charliermarsh requested a review from carljm carljm 12 days ago
charliermarsh charliermarsh requested a review from AlexWaygood AlexWaygood 12 days ago
charliermarsh charliermarsh requested a review from sharkdp sharkdp 12 days ago
charliermarsh charliermarsh requested a review from dcreager dcreager 12 days ago
charliermarsh charliermarsh requested a review from ibraheemdev ibraheemdev 12 days ago
astral-sh-bot astral-sh-bot assigned sharkdp sharkdp 12 days ago
sharkdp
sharkdp requested changes on 2026-05-07
charliermarsh [ty] Allow equality narrowing for unions
0be28a3f
charliermarsh Reject unsound negative narrowing
539d1879
charliermarsh charliermarsh force pushed from fd122633 to 539d1879 11 days ago
charliermarsh Limit to discarding known values
928c4ba3
charliermarsh charliermarsh marked this pull request as draft 11 days ago
charliermarsh Remove unsoundness
3b94c16f
charliermarsh charliermarsh closed this 11 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum