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.

Commence par lire PEP 484 et les exemples de cette issue ; aucun fichier d’implémentation ni aucun test n’est identifié. Clarifie la sémantique prévue d’Ellipsis et le comportement du vérificateur de types concerné avant de définir les tests d’acceptation, car l’issue consigne une proposition plutôt qu’une modification délimitée.