Assertion and checking functions

I'll just leave this here for potential future consideration as it came up on gitter's typing-dev channel. Typescript has something called assertion functions, which enables the type checker to understand that a function does not return if a certain condition is false. I think something similar, but more generalized, would be interesting, especially for unit test functions like assert_is_instance(), assert_true() etc.

def assert_positive(x: object) -> AssertsInstance["x", int]:
    assert isinstance(x, int) and x > 0

Related, checking functions could work like this:

def is_positive(x: object) -> ChecksInstance["x", int]:
    return isinstance(x, int) and x > 0

def my_func(x: Union[int, str]) -> None:
    if is_positive(x):
        # x must be an int
        ...
    else:
        # x can be an int or str
        ...

Bắt đầu với tài liệu assertion-functions của TypeScript 3.7 được liên kết và các ví dụ assert_positive và is_positive trong issue. Vì không có tệp nào trong repository hoặc bài kiểm thử nào được nêu tên, trước tiên hãy xác định các chú thích assertion và kiểm tra tổng quát nên biểu đạt việc thu hẹp kiểu như thế nào, sau đó ghi lại hành vi đã thống nhất và phạm vi bao phủ kiểm thử cần thiết.