typing for sum of np.ndarrays

[Xoriun]

I have a list of np.ndarry's that I need to sum up point-wise.
The (for me) obvious way is to use the sum() call that does exactly what I want.
However, pyright complains that its return type could be Literal[0] which in my case cannot happen since my list is never empty at that point.
Is there some way I can tell pyright that this call to sum cannot return 0 or another way to sum up the arrays?

[jorenham]

You could use numpy.sum for this (docs):

import numpy as np

a1 = np.array([1,1,1])
a2 = np.array([1,2,3])
print(np.sum([a1, a2], axis=0))  # [2 3 4]