(🐞) Generic Inference completely broken when a `TypeVar` has `None` in the `bound`

from typing import Generic, TypeVar, Iterable

T = TypeVar("T")
T1 = TypeVar("T1", bound=None)

class Test(Generic[T, T1]):
    def test(self) -> None:
        data1: list[T]
        data2: list[T] | list[T1]
        data3: list[T1] | list[T]
        
        reveal_type(tester(data1))  # list[T]
        reveal_type(tester(data2))  # list[object]
        reveal_type(tester(data3))  # list[Any]
        
        
def tester(a: Iterable[T]) -> list[T]: ...

The same thing happens if the bound is a union with None in it.

playground link

Inizia con il link fornito al playground mypy-play ed esegui l’esempio minimo con le impostazioni indicate di Python 3.10 e strict. Confronta i tipi rivelati con i commenti, quindi verifica lo stesso comportamento per un bound di unione che contenga None; il lavoro è concluso quando entrambi i casi inferiscono i tipi attesi.