Micro-optimization: Avoid temporary set creation in is_proper_subtype#19463

JukkaL merged 1 commit intomasterpython/mypy:masterfrom

opt-5python/mypy:opt-5Copy head branch name to clipboard