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.

まず PEP 484 とこの issue の例を読み、実装ファイルもテストも特定されていないことを確認してください。受け入れテストを定義する前に、意図された Ellipsis のセマンティクスと影響を受ける型チェッカーの動作を明確にしてください。issue にはスコープが定められた変更ではなく提案が記録されているためです。