Unpacking a NamedTuple subclass uses superclass' types

If you subclass an existing NamedTuple to provide more specific type declarations for some of the fields, and then unpack an instance of that NamedTuple, mypy 0.770 gets its type information from the superclass, not the subclass. Minimal reproduction:

from typing import NamedTuple, Optional

class BaseInventory(NamedTuple):
    number: Optional[int]
    name: str


class Inventory(BaseInventory):
    number: int


item = Inventory(42, 'parrot')
item.number % 10  # mypy allows this
number, _ = item
number % 10  # mypy does not allow this

The last line reports:

error: Unsupported operand types for % ("None" and "int")  [operator]
note: Left operand is of type "Optional[int]"

I expected no error, since accessing the field by name works fine.

Bắt đầu bằng cách chạy bản tái hiện Python tối thiểu với mypy 0.770 và so sánh việc truy cập trường có tên với việc unpack tuple. Theo dõi cách thông tin kiểu của NamedTuple được sử dụng trong quá trình unpack; hoàn tất khi number được unpack được suy luận là int và dòng modulo cuối cùng không còn báo lỗi, đồng thời có kiểm thử hồi quy cho bản tái hiện này.