Missing TypeIs narrowing with covariant generic

Mypy fails to narrow away an Any-specialized covariant generic after TypeIs narrowing to its object specialization:

from typing import Any, Generic, TypeVar
from typing_extensions import TypeIs

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

class Source(Generic[T_co]): ...

def is_source(x: object) -> TypeIs[Source[object]]:
    return False

def f(x: int | Source[Any]) -> None:
    assert not is_source(x)
    reveal_type(x)  # expect int, mypy reveals int | Source[Any]

In contrast this does work correctly with an analogous contravariant type:

from typing import Any, Generic, TypeVar
from typing_extensions import Never, TypeIs

T_contra = TypeVar("T_contra", contravariant=True)

class Sink(Generic[T_contra]): ...

def is_sink(x: object) -> TypeIs[Sink[Never]]:
    return False

def f(x: int | Sink[Any]) -> None:
    assert not is_sink(x)
    reveal_type(x)  # int

(Found in python/typeshed#15931.)

Usa el fragmento mínimo de Python del issue como reproductor y, después, compara el narrowing covariante de Source[Any] con el caso funcional contravariante de Sink[Never]. Se considera terminado cuando reveal_type(x) es int después de assert not is_source(x), manteniendo el comportamiento existente de Sink.