sys.stdout.buffer has incorrect type?

mypy test.py
test.py:10: error: Argument 1 to "test" has incompatible type "BinaryIO"; expected "BufferedIOBase"

cat test.py

import io
import sys

class C(io.BufferedIOBase):
  pass

def test(c: io.BufferedIOBase):
  assert isinstance(c, io.BufferedIOBase)

test(sys.stdout.buffer)
test(C())

python3 test.py

As we can see the isinstance check passes but mypy asserts

まず、test.py の再現コードに対して mypy コマンドを実行し、sys.stdout.buffer エントリポイントに対応する Python 標準ライブラリのスタブを調べます。宣言された型を実行時の isinstance の結果と比較し、その後、例に対して mypy を再実行して修正後の動作を確認します。