Когда mypy может определить тип контейнера, например, Collections.Counter? ⇐ Python

[Anonymous]

Запуск этого mypy gist (https://mypy-play.net/?mypy=latest&pyth ... a11ccd689a)

Код: Выделить всё

from collections import Counter

C = Counter()

выдает эту ошибку mypy:

Код: Выделить всё

main.py:3: error: Need type annotation for "C"  [var-annotated]
Found 1 error in 1 file (checked 1 source file)

Есть ли способ, которым mypy может определить этот тип?


Подробнее здесь: https://stackoverflow.com/questions/779 ... ns-counter