mypy
Preserve some lost narrowing, cleanup
#20674
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Preserve some lost narrowing, cleanup
#20674
hauntsaninja
merged 1 commit into
python:master
from
hauntsaninja:narrow56
.
53b15cb4
hauntsaninja
commented on 2026-01-28
hauntsaninja
changed the title
Further tweaks and cleanup of narrowing
Preserve some lost narrowing, cleanup
150 days ago
JukkaL
approved these changes on 2026-01-29
hauntsaninja
merged
4b14528a
into master
149 days ago
hauntsaninja
deleted the narrow56 branch
149 days ago
Login to write a write a comment.
Login via GitHub
Reviewers
JukkaL
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub