Infer correct types with overloads of `Type[Guard | Is]` by sobolevn · Pull Request #17678

Infer correct types with overloads of `Type[Guard | Is]` by sobolevn · Pull Request #17678 · python/mypy

sobolevn deleted the overloads-type-narrower-inference branch

January 21, 2025 15:31

x612skm pushed a commit to x612skm/mypy-dev that referenced this pull request

Feb 24, 2025

Closes python#17579

Consider this as a prototype, because I understand that there might be a
lot of extra work to get this right.

However, this does solve this problem in the original issue.

JukkaL added a commit that referenced this pull request

May 28, 2025

)"

This reverts commit 43ea203.

The commit caused a regression (#19139). If we can't fix the
regression soon enough, reverting the original change temporarily will
at least unblock the mypy public release. The reverted PR can be
merged again once the regression is fixed.

JukkaL added a commit that referenced this pull request

May 29, 2025

)

This reverts commit 43ea203 (#17678).

The commit caused a regression (#19139). If we can't fix the regression
soon enough, reverting the original change temporarily will at least
unblock the mypy public release. The reverted PR can be merged again
once the regression is fixed.

JukkaL added a commit that referenced this pull request

May 29, 2025

)

This reverts commit 43ea203 (#17678).

The commit caused a regression (#19139). If we can't fix the regression
soon enough, reverting the original change temporarily will at least
unblock the mypy public release. The reverted PR can be merged again
once the regression is fixed.

cdce8p pushed a commit to cdce8p/mypy that referenced this pull request

May 31, 2025

…hon#19161)

This reverts commit 43ea203 (python#17678).

The commit caused a regression (python#19139). If we can't fix the regression
soon enough, reverting the original change temporarily will at least
unblock the mypy public release. The reverted PR can be merged again
once the regression is fixed.