Python не обеспечивает соблюдение ограничений параметров универсального типа во время выполнения ⇐ Python

[Anonymous]

Я стараюсь, чтобы получить ошибки типа, делая что-то подобное: < /p>

Код: Выделить всё

from typing import TypeVar

class Faa:
pass

T = TypeVar("T")

def foo(a: Type[T], b: T, c: T) -> None:
pass

foo(Faa, 1, "2") # this should not be allowed

Я пытаюсь получить ошибку с помощью mypy или pyright , но я просто не смог.
может научить меня, как обеспечить соблюдение такого рода общего набора?

Подробнее здесь: https://stackoverflow.com/questions/793 ... at-runtime