8000 Helpful note when union may not have been narrowed by dexterkennedy · Pull Request #17115 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Helpful note when union may not have been narrowed#17115

Open
dexterkennedy wants to merge 2 commits intopython:masterfrom
keshavt3:master
Open

Helpful note when union may not have been narrowed#17115
dexterkennedy wants to merge 2 commits intopython:masterfrom
keshavt3:master

Commits

Commits on Apr 11, 2024

Commits on Apr 12, 2024
0