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.

Esegui l’esempio mypy-play collegato con Python 3.12 e mypy master, quindi ispeziona le chiamate a ctor e ctor_union_proxy in main.py. Confronta la diagnostica del costruttore di unione diretto con quella della chiamata al proxy e conferma il comportamento previsto prima di tracciare la gestione pertinente delle variabili di tipo. Il lavoro è concluso quando l’interazione segnalata è risolta e coperta da un test di regressione.