using __new__ with type(x: T) resolvestype(x: T) as being of type type

The following code passes a MyPy check with flying colors:

from typing import TypeVar, Any
T = TypeVar("T", bound=Any)

def this_one_works(x: T) -> T:
    res = x.__new__(type(x))
    return res

But the following does not:

from typing import TypeVar, Any
T = TypeVar("T", bound=Any)

def this_one_not_so_much(x: T) -> T:
    res = type(x).__new__(type(x))
    return res

Instead it seems to resolve type(x) as <class 'type'> when used with __new__() and complains about missing arguments:

test.py:5: error: No overload variant of "new" of "type" matches argument type "Type[T]"
test.py:5: note: Possible overload variants:
test.py:5: note: def new(cls, cls: Type[type], o: object) -> type
test.py:5: note: def new(cls, cls: Type[type], name: str, bases: Tuple[type, ...], namespace: Dict[str, Any]) -> type
Found 1 error in 1 file (checked 1 source file)

Is this expected behavior, or is it resolving incorrectly in the second case?

Inizia eseguendo con mypy i due frammenti di codice dell’issue e confrontando come vengono inferiti type(x) e x.new. Segui il percorso del controllo dei tipi per type(x).new e determina se la risoluzione segnalata è prevista; il lavoro è completato quando è stato stabilito il comportamento previsto e il risultato è stato documentato o testato.