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

Inizia eseguendo l’esempio fornito in Python 3.7.3 con il comportamento segnalato di Mypy 0.720 ed esamina come la compatibilità dei protocolli gestisce i tipi restituiti da len e i valori Literal. Il lavoro è completato quando l’assegnazione a Char viene accettata se la dimensione del contenitore è inferibile staticamente, con un comportamento equivalente per gli altri tipi di contenitore.