Inconsistent optional type resolution for AbstractSet and Set

Bug Report

Inconsistent optional type resolution for AbstractSet and Set.

To Reproduce

from typing import AbstractSet, Set


def check(x: int) -> None: ...


def foo(x: int | None, s: AbstractSet[int]) -> None:
    if x in s:
        check(x)  # error: Argument 1 to "check" has incompatible type "int | None"; expected "int"  [arg-type]


def bar(x: int | None, s: Set[int]) -> None:
    if x in s:
        check(x)  # no error

Expected Behavior

The resolved type after x in AbstractSet and Set should be the same.

If it needs to be consistent with other type unions, the additional type resolution should not happen:

(this is how it currently works for int | str, no additional type resolution happens)

from typing import AbstractSet, Set


def check(x: int) -> None: ...

def foo(x: int | str, s: AbstractSet[int]) -> None:
    if x in s:
        check(x)  # error


def bar(x: int | str, s: Set[int]) -> None:
    if x in s:
        check(x)  # error

Actual Behavior

In a branch where x of Optional[T] is in Set[T], x's type is resolved into T, however that does not happen with AbstractSet.

Your Environment

• Mypy version used: 1.8.0
• Mypy command-line flags: with and without --strict
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.12

Beginne damit, den bereitgestellten Python-Reproducer mit mypy 1.8.0 auszuführen, und vergleiche die Fälle AbstractSet und Set in foo und bar. Verfolge die für x in jeder Sammlung durchgeführte Typverengung und ergänze eine Abdeckung für das gemeldete Verhalten. Fertig ist die Aufgabe, wenn beide Sammlungstypen den optionalen Wert entsprechend dem gewählten erwarteten Verhalten konsistent auflösen.