mypy
Unsoundly narrow away from None with custom eq
#20756

Merged

Unsoundly narrow away from None with custom eq #20756

hauntsaninja merged 1 commit into python:master from hauntsaninja:narrow88

Unsoundly narrow away from None with custom eq

b8488e15

hauntsaninja force pushed from e90f655a to b8488e15 149 days ago

hauntsaninja marked this pull request as ready for review 149 days ago

ilevkivskyi approved these changes on 2026-02-06

hauntsaninja merged 06a5f5de into master 148 days ago

hauntsaninja deleted the narrow88 branch 148 days ago

Reviewers

ilevkivskyi

Assignees

No one assigned

Labels

None yet

Milestone

No milestone