mypy
Better narrowing with custom equality
#20643
Merged

Better narrowing with custom equality #20643

hauntsaninja merged 8 commits into python:master from hauntsaninja:narrow23
hauntsaninja
hauntsaninja Better narrowing with custom equality
bd5b3e24
hauntsaninja
hauntsaninja commented on 2026-01-23
github-actions
hauntsaninja
hauntsaninja
hauntsaninja .
953c9a0b
github-actions
hauntsaninja fix test name
a1f8fdac
hauntsaninja hauntsaninja requested a review from A5rocks A5rocks 151 days ago
github-actions
A5rocks
A5rocks commented on 2026-01-24
hauntsaninja comment
3b7c9d14
github-actions
hauntsaninja comment
33fefc3e
hauntsaninja test nit
c6aa23c0
github-actions
hauntsaninja Merge remote-tracking branch 'origin/master' into narrow23
b9f3ca05
hauntsaninja update test
0d50315f
hauntsaninja hauntsaninja requested a review from JukkaL JukkaL 148 days ago
github-actions
JukkaL
JukkaL approved these changes on 2026-01-27
hauntsaninja
hauntsaninja hauntsaninja merged e64a84b1 into master 147 days ago
hauntsaninja hauntsaninja deleted the narrow23 branch 147 days ago
hauntsaninja

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone