Parametrised Callable allowed only when used as type alias

I've found a case where a Callable is not allowed when used directly, but is allowed if used as an alias

from typing import TypeVar, Callable

T = TypeVar('T')

MkFoo = Callable[[T], list[T]]

def foo(mkfoo: MkFoo) -> None:
    _ = mkfoo(0)

works, but replacing MkFoo by its definition

def foo(mkfoo: Callable[[T], list[T]]) -> None:
    _ = mkfoo(0)

produces

main.py:13: error: Argument 1 has incompatible type "int"; expected "T"

Commencez par les deux reproductions présentées dans main.py, en comparant la Callable paramétrée utilisée directement avec l’alias de type équivalent. Vérifiez le comportement du vérificateur de types qui en résulte ainsi que les discussions existantes ; le travail sera considéré comme terminé lorsqu’il aura été déterminé si les deux formes doivent être acceptées et que la couverture correspondant au comportement convenu aura été ajoutée ou mise à jour.