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.

Riproduci il problema con lo snippet Python e ctypes riportato nella segnalazione, quindi traccia la gestione da parte di mypy degli argomenti dei costruttori di array ctypes e degli elementi di array annidati. Il lavoro è completo quando Pair((1, 2, 3, 4), (2, 3, 4, 5)) supera il controllo dei tipi senza errori, mentre le forme esistenti Quaternion e di array annidati espliciti rimangono valide.