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"

main.py に示されている 2 つの再現から始め、直接使用されているパラメーター化された Callable と、それに相当する型エイリアスを比較します。結果として得られる type-checker の動作と既存の議論を確認します。両方の形式を受け入れるべきかどうかを判断し、合意された動作に対するカバレッジを追加または更新できれば完了です。