mypy
Unsoundly narrow away from None with custom eq
#20756
Merged

Unsoundly narrow away from None with custom eq #20756

hauntsaninja
hauntsaninja Unsoundly narrow away from None with custom eq
b8488e15
hauntsaninja hauntsaninja force pushed from e90f655a to b8488e15 149 days ago
github-actions
hauntsaninja hauntsaninja marked this pull request as ready for review 149 days ago
ilevkivskyi
ilevkivskyi approved these changes on 2026-02-06
hauntsaninja hauntsaninja merged 06a5f5de into master 148 days ago
hauntsaninja hauntsaninja deleted the narrow88 branch 148 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone