Может ли Pyright/MyPy определить тип записи ndarray? ⇐ Python

[Anonymous]

Как я могу аннотировать ndarray, чтобы Pyright/Mypy Intellisense мог определить тип записи? Что я могу заполнить ??? в

Код: Выделить всё

x: ??? = np.array([1, 2, 3], dtype=int)

чтобы

Код: Выделить всё

y = x[0]

идентифицируется как целое число, а не как Any?

Подробнее здесь: https://stackoverflow.com/questions/790 ... an-ndarray