mypy声明IO[bytes]与BinaryIO不兼容

考虑以下代码:

from io      import TextIOWrapper
from typing  import List
from zipfile import ZipFile

def read_zip_lines(zippath: str, filename: str) -> List[str]:
    with ZipFile(zippath) as zf:
        with zf.open(filename) as bfp:
            with TextIOWrapper(bfp, 'utf-8') as fp:
                return fp.readlines()

在Python 3.6.9下对上述代码运行mypy v0.782失败,错误如下:

zfopen.py:8: error: Argument 1 to "TextIOWrapper" has incompatible type "IO[bytes]"; expected "BinaryIO"

但是,我觉得这个代码不应该被视为一个错误,因为 ZipFile.open() TextIOWrapper IO[bytes] 和 BinaryIO 声明为的子类 IO[字节] 到处都能接受 二进制 是的,只是子类不是这样工作的,我不知道在键入时如何正确地使用这个子类。

• typeshed在声明的返回类型时出错 ZipFile.打开() IO[字节] 而不是 二进制 ?
• 在向声明第一个参数的类型时出现typeshed错误 作为 二进制 IO[字节] ?
• typing 二进制 一个子类 IO[字节]
• 我的代码是不是因为没有执行某种类型的强制转换而出错了 bfp ?
• 是不是我的想法错了 可以通过 文本包装器