Allow Ellipsis as annotation for inferred type

PEP 484 says that if an annotation is missing then the type assumed to be Any

def f(x) -> None:
    reveal_type(x) # Revealed type is 'Any'
def g(x: int):
    pass
reveal_type(g(1)) # Revealed type is 'Any'

However, it is not clear how to say to type checker that it should infer a missing type, rather than assume that it is Any. It was proposed by @ncoghlan to use Ellipsis for this purpose:

def f(x: ...) -> None:
    ...
def g(x: int) -> ...:
    ...

I am opening this issue, so that this idea will not be forgotten.

Trước hết, hãy đọc PEP 484 và các ví dụ trong issue này; không có tệp triển khai hoặc bài kiểm thử nào được xác định. Hãy làm rõ ngữ nghĩa Ellipsis được dự định và hành vi của trình kiểm tra kiểu bị ảnh hưởng trước khi xác định các bài kiểm thử chấp nhận, vì issue ghi lại một đề xuất thay vì một thay đổi đã được xác định phạm vi.