Infer correct types with overloads of `Type[Guard | Is]`#17678

sobolevn merged 3 commits intomasterpython/mypy:masterfrom

overloads-type-narrower-inferencepython/mypy:overloads-type-narrower-inferenceCopy head branch name to clipboard