mypy
06a5f5de - Unsoundly narrow away from None with custom eq (#20756)

Commit

145 days ago

Unsoundly narrow away from None with custom eq (#20756) With #20754 we see some primer hits where this unsoundness is beneficial Closes #15764

References

Author

hauntsaninja

Parents