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

Bắt đầu bằng cách chạy ví dụ Python 3.7.3 được cung cấp với hành vi Mypy 0.720 đã được báo cáo và kiểm tra cách tính tương thích của protocol xử lý các kiểu trả về của len và các giá trị Literal. Được xem là hoàn tất khi phép gán cho Char được chấp nhận nếu kích thước container có thể được suy luận tĩnh, với hành vi tương đương đối với các kiểu container khác.