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

Inizia con la riproduzione collegata di mypy-play e verifica come viene gestito SupportsGetItem[Any, T] quando il flusso di controllo restringe x a DataFrame. Conferma la diagnosi prevista dall’esempio, quindi traccia il comportamento rilevante del controllo dei tipi e aggiungi o aggiorna la copertura per questo caso. Il lavoro è completato quando mypy segnala il tipo restituito non valido invece di accettare return 1.