ctypes nested array constructor doesn't work with sequences

Using Python 3.7 and mypy 0.660 on the following code:

import ctypes

Quaternion = ctypes.c_int * 4
Pair = Quaternion * 2

quat = Quaternion(1, 2, 3, 4)
p = Pair((1, 2, 3, 4), (2, 3, 4, 5))

returns

$ mypy ctypes_nested.py 
ctypes_nested.py:7: error: Array constructor argument 1 of type "Tuple[builtins.int, builtins.int, builtins.int, builtins.int]" is not convertible to the array element type "ctypes.Array[ctypes.c_int]"
ctypes_nested.py:7: error: Array constructor argument 2 of type "Tuple[builtins.int, builtins.int, builtins.int, builtins.int]" is not convertible to the array element type "ctypes.Array[ctypes.c_int]"

even though at runtime this constructor works just fine. Of course, changing the constructor to Pair(Quaternion(1, 2, 3, 4), Quaternion(2, 3, 4, 5)) works just fine.

報告にある Python と ctypes のスニペットで問題を再現し、その後、mypy が ctypes 配列コンストラクターの引数とネストされた配列要素をどのように処理しているかを追跡してください。Pair((1, 2, 3, 4), (2, 3, 4, 5)) がエラーなしで型チェックを通過し、既存の Quaternion および明示的なネストされた配列形式が引き続き有効であれば完了です。