(🐞) no error when can't able to infer type argument and becomes `Never`

# Some stub
from typing import TypeVar
 
T = TypeVar("T")

def something(x: T = ...) -> T: 
    """x, the parameter for everything (formally Twitter)"""

# some other file
f: object
f = something()
reveal_type(f)  # Never
if f:
    print("hi")  # unreachable
print("hi")  # unreachable

We have an interesting array of bugs on display here, but most importantly I think, is that the call to something doesn't report that T can't be inferred.

Seeing as f is object here, I would expect T to be inferred as object

Reproduziere das gemeldete Beispiel in mypy und untersuche die Pfade für Typinferenz und Fehlerberichte, die für einen Aufruf mit einem Standardwert eines uneingeschränkten TypeVar verwendet werden. Überprüfe das beabsichtigte Ergebnis für f: object = something() und stelle sicher, dass das abgeschlossene Verhalten nicht mehr stillschweigend Never erzeugt oder den nachfolgenden Code als nicht erreichbar markiert.