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"

Bắt đầu với hai trường hợp tái hiện được nêu trong main.py, so sánh Callable được tham số hóa khi dùng trực tiếp với bí danh kiểu tương đương. Kiểm tra hành vi của trình kiểm tra kiểu và các thảo luận hiện có; công việc được xem là hoàn tất khi xác định được liệu cả hai dạng có nên được chấp nhận hay không và thêm hoặc cập nhật coverage cho hành vi đã thống nhất.