Allow specifying length of sized object

Sometimes I want to specify the size of a container. This could be done manually with casts, but it would be really cool if Mypy could figure this out automatically. __len__() is guaranteed to return an int, and since a is defined as a literal the match could be statically inferrable. The same is true of other container types.

from typing_extensions import Protocol, Literal


class Char(Protocol):
    def __len__(self) -> Literal[1]:
        ...


a: Char = "X"

Mypy reports

error: Incompatible types in assignment (expression has type "str", variable has type "Char")
note: Following member(s) of "str" have conflicts:
note:     Expected:
note:         def __len__(self) -> Literal[1]
note:     Got:
note:         def __len__(self) -> int

Mypy 0.720
CPython 3.7.3

Commencez par exécuter l’exemple fourni en Python 3.7.3 avec le comportement signalé de Mypy 0.720 et examinez comment la compatibilité des protocoles gère les types de retour de len et les valeurs Literal. Le travail est terminé lorsque l’affectation à Char est acceptée quand la taille du conteneur peut être déduite statiquement, avec un comportement équivalent pour les autres types de conteneurs.