(🐞) 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

Start with the provided mypy-play playground link and run the minimal example under the stated Python 3.10 and strict settings. Compare the revealed types with the comments, then verify the same behavior for a union bound containing None; done means both cases infer the expected types.