Matching generic return type of `SupportsGetItem`

Bug Report

mypy does not match the generic return type of SupportsGetItem properly.

This was proposed in https://github.com/astral-sh/ty/issues/3988#issuecomment-4960290236.

To Reproduce

https://mypy-play.net/?gist=b8bb3085f195314a6c7c89ed2bdd2576

from __future__ import annotations

from typing import TYPE_CHECKING, Any, TypeVar

if TYPE_CHECKING:
    from _typeshed import SupportsGetItem

class Series: ...

class DataFrame:
    def __getitem__(self, key: object) -> Series:
        return Series()

T = TypeVar("T")

def f(x: SupportsGetItem[Any, T]) -> T:
    if isinstance(x, DataFrame):
        # return Series()
        return 1  # false error-free
    else:
        return x[0]

Expected Behaviour

Report an error about return type

Actual Behaviour

No error

Your Environment

mypy playground

Comienza con la reproducción enlazada de mypy-play e inspecciona cómo se gestiona SupportsGetItem[Any, T] cuando el flujo de control restringe x a DataFrame. Confirma el diagnóstico esperado del ejemplo y, después, sigue el comportamiento relevante de la comprobación de tipos y añade o actualiza la cobertura para este caso. Se considera terminado cuando mypy informa del tipo de retorno no válido en lugar de aceptar return 1.