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.

Empieza leyendo PEP 484 y los ejemplos de este issue; no se identifica ningún archivo de implementación ni ninguna prueba. Aclara la semántica prevista de Ellipsis y el comportamiento afectado del comprobador de tipos antes de definir las pruebas de aceptación, ya que el issue registra una propuesta en lugar de un cambio delimitado.