mypy
Preserve some lost narrowing, cleanup
#20674
Merged

Preserve some lost narrowing, cleanup #20674

hauntsaninja
hauntsaninja .
53b15cb4
hauntsaninja
hauntsaninja commented on 2026-01-28
github-actions
hauntsaninja hauntsaninja changed the title Further tweaks and cleanup of narrowing Preserve some lost narrowing, cleanup 150 days ago
hauntsaninja
JukkaL
JukkaL approved these changes on 2026-01-29
hauntsaninja hauntsaninja merged 4b14528a into master 149 days ago
hauntsaninja hauntsaninja deleted the narrow56 branch 149 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone