Como faço para anotar tipos em um loop for

Eu quero anotar um tipo de variável em um forloop. Eu tentei isso:

for i: int in range(5):
    pass

Mas não funcionou, obviamente.

O que eu espero é o autocomplete funcionando no PyCharm 2016.3.2. Pré-anotação como esta:

i: int
for i in range(5):
    pass

não ajuda.

A pré-anotação PS funciona para PyCharm> = 2017.1

De acordo com PEP 526 , isso não é permitido:

Além disso, não se pode anotar variáveis ​​usadas em uma instrução forouwith ; eles podem ser anotados com antecedência, de maneira semelhante ao desempacotamento de tupla

Anote antes do loop:

i: int
for i in range(5):
    pass

O PyCharm 2018.1 e superior agora reconhece o tipo da variável dentro do loop. Isso não era compatível com as versões mais antigas do PyCharm.

Não sei se esta solução é compatível com PEP ou apenas um recurso do PyCharm mas fiz funcionar assim

for i in range(5): #type: int
  pass

e estou usando o Pycharm Community Edition 2016.2.1

Isso funciona bem para mim no PyCharm (usando Python 3.6)

for i in range(5):
    i: int = i
    pass

Nenhuma das respostas aqui foi útil, exceto para dizer que você não pode. Mesmo a resposta aceita usa a sintaxe do documento PEP 526, que não é uma sintaxe Python válida. Se você tentar digitar

x: int

Você verá que é um erro de sintaxe.

Esta é uma solução alternativa útil:

for __x in range(5):
    x = __x  # type: int
    print(x)

Faça seu trabalho com x. O PyCharm reconhece seu tipo e o preenchimento automático funciona.