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.

Beginne mit der Lektüre von PEP 484 und den Beispielen in diesem Issue; keine Implementierungsdatei und kein Test sind angegeben. Kläre die beabsichtigte Ellipsis-Semantik und das betroffene Verhalten des Type-Checkers, bevor du Akzeptanztests definierst, da das Issue einen Vorschlag und keine abgegrenzte Änderung dokumentiert.