`mypy` does not infer correctly with a `__class__` override

Bug Report

mypy does not infer correctly with a __class__ override.

To Reproduce

https://mypy-play.net/?gist=9e3ffebda54d02c5e68f45fe7cd33eb0

from typing import Any, Protocol, overload, reveal_type
from collections.abc import Iterator, Sequence
from typing_extensions import TypeVar

_T_co = TypeVar("_T_co", covariant=True)

class ReducedCovariantList(Protocol[_T_co]):
    @property
    def __class__(self) -> type[list[Any]]: ...
    def __iter__(self) -> Iterator[_T_co]: ...

@overload
def foo(x: ReducedCovariantList[str]) -> str: ...
@overload
def foo(x: Sequence[int]) -> int: ...

# ty gives Unknown; mypy gives str; pyright and pyrefly give int
reveal_type(foo([1]))
# if we remove the __class__ override, both ty and mypy give int

Expected Behaviour

reveal_type gives int

Actual Behavior

reveal_type gives str

Your Environment

• Mypy version used: 2.3.0
• Mypy command-line flags: -
• Mypy configuration options from mypy.ini (and other config files): -
• Python version used: 3.12

Ejecuta la reproducción de mypy-play enlazada en el issue y compara el resultado de reveal_type(foo([1])) con el int esperado. Rastrea cómo la resolución de sobrecargas maneja ReducedCovariantList cuando su Protocol define una propiedad __class__. Se considera terminado cuando el ejemplo infiere int y una prueba de regresión cubre el caso de override.