Weird interaction between TypeVar and union

See this code.

from typing import TypeVar

T = TypeVar("T", list, dict)

def ctor(cls: type[T]) -> T:
    return cls()
    
def ctor_union(cls: type[list] | type[dict]) -> list | dict:
    return cls()
    
def ctor_union_proxy(cls: type[list] | type[dict]) -> list | dict:
    return ctor(cls)

produces

main.py:12: error: Value of type variable "T" of "ctor" cannot be "Collection[Any]"  [type-var]
main.py:12: error: Incompatible return value type (got "Collection[Any]", expected "list[Any] | dict[Any, Any]")  [return-value]
Found 2 errors in 1 file (checked 1 source file)

possibly duplicate of #9424.

Führe das verknüpfte mypy-play-Beispiel mit Python 3.12 und mypy master aus und untersuche anschließend die Aufrufe von ctor und ctor_union_proxy in main.py. Vergleiche die Diagnosen für den direkten Union-Konstruktor mit dem Proxy-Aufruf und bestätige das beabsichtigte Verhalten, bevor du die relevante Behandlung von Typvariablen nachvollziehst. Erledigt bedeutet, dass die gemeldete Interaktion behoben und durch einen Regressionstest abgedeckt ist.