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

Reproduce el ejemplo reportado en mypy e inspecciona las rutas de inferencia de tipos y de notificación de errores que se utilizan para una llamada con un valor predeterminado de un TypeVar sin restricciones. Verifica el resultado previsto para f: object = something() y asegúrate de que el comportamiento completado ya no produzca silenciosamente Never ni marque el código siguiente como inalcanzable.