检查 typing.assert_type(val, typ, /) 调用,并报告 val 的推断类型不是 typ 的情况。

示例:


def greet(name: str) -> None:
    assert_type(name, str)  # OK
    assert_type(name, int)  # 应为类型 'int',但实际为 'str'