Repository navigation
BUG: NDArray[Any] methods ignore overload ambiguity #20099
Description
Describe the issue:
A operation between a NDArray[Any] array and an integer, as in the code example, makes Mypy infer the result as
numpy.ndarray[Any, numpy.dtype[numpy.signedinteger[Any]]]. This is an error, as the result could also be a floating point array, or even a complex one.
Reproduce the code example:
from numpy.typing import NDArray
def f(arr: NDArray[Any]) -> None:
reveal_type(arr + 2)Error message:
No response
NumPy/Python version information:
1.21.2 3.7.6 (default, Jan 8 2020, 19:59:22)
[GCC 7.3.0]
Activity
[-]BUG: Operation with integer type changes the dtype inferred by mypy to signedinteger[/-][+]BUG: `NDArray[Any]` methods ignore overload ambiguity[/+]BvB93 commentedon Nov 1, 2021
cc @nschloe
Turns out this issue is present in both mypy and pyright: #20265
BvB93 commentedon Nov 1, 2021
For Pyright I opened an issue at microsoft/pyright#2521.
It seems that Pyright currently does not handle overload ambiguity at all,
so I'm concerned this might be more difficult to fix compared to python/mypy#11347.