Refactor "==" and "is" type narrowing logic#18042

JukkaL merged 1 commit intomasterpython/mypy:masterfrom

refactor-eq-narrowpython/mypy:refactor-eq-narrowCopy head branch name to clipboard