mypy
Better narrowing for enums and other types with known equality
#21281
Merged

Better narrowing for enums and other types with known equality #21281

hauntsaninja
hauntsaninja Better narrowing for enums and other known types with equality
e61527c4
hauntsaninja hauntsaninja force pushed from 97034719 to e61527c4 81 days ago
github-actions
hauntsaninja hauntsaninja marked this pull request as ready for review 81 days ago
hauntsaninja hauntsaninja changed the title Better narrowing for enums and other known types with equality Better narrowing for enums and other types with known equality 81 days ago
JukkaL
JukkaL approved these changes on 2026-04-24
hauntsaninja tmp
697d8327
github-actions
hauntsaninja hauntsaninja merged 1e96fb72 into master 77 days ago
hauntsaninja hauntsaninja deleted the enumident2 branch 77 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone