MAINT: bump mypy to 1.14.1 (#28089)

jorenham · web-flow · commit 12364e360a4f · 2025-01-02T15:42:38.000-07:00
* MAINT: bump `mypy` to `1.14.1`

* TYP: fix new `mypy==1.14.1` type-test errors

* TYP: backport `collections.abc.Buffer` for `npt.ArrayLike` on `python&lt;3.11`
diff --git a/environment.yml b/environment.yml
@@ -25,7 +25,7 @@ dependencies:
   - hypothesis
   # For type annotations
   - typing_extensions>=4.2.0  # needed for python < 3.10
-  - mypy=1.13.0
+  - mypy=1.14.1
   - orjson  # makes mypy faster
   # For building docs
   - sphinx>=4.5.0
diff --git a/numpy/_typing/_array_like.py b/numpy/_typing/_array_like.py
@@ -87,17 +87,16 @@ def __array_function__(
 )
 
 if sys.version_info >= (3, 12):
-    from collections.abc import Buffer
-
-    ArrayLike: TypeAlias = Buffer | _DualArrayLike[
-        dtype[Any],
-        bool | int | float | complex | str | bytes,
-    ]
+    from collections.abc import Buffer as _Buffer
 else:
-    ArrayLike: TypeAlias = _DualArrayLike[
-        dtype[Any],
-        bool | int | float | complex | str | bytes,
-    ]
+    @runtime_checkable
+    class _Buffer(Protocol):
+        def __buffer__(self, flags: int, /) -> memoryview: ...
+
+ArrayLike: TypeAlias = _Buffer | _DualArrayLike[
+    dtype[Any],
+    bool | int | float | complex | str | bytes,
+]
 
 # `ArrayLike<X>_co`: array-like objects that can be coerced into `X`
 # given the casting rules `same_kind`
diff --git a/numpy/typing/tests/data/reveal/index_tricks.pyi b/numpy/typing/tests/data/reveal/index_tricks.pyi
@@ -58,13 +58,13 @@ assert_type(np.mgrid[1:1:2, None:10], npt.NDArray[Any])
 assert_type(np.ogrid[1:1:2], tuple[npt.NDArray[Any], ...])
 assert_type(np.ogrid[1:1:2, None:10], tuple[npt.NDArray[Any], ...])
 
-assert_type(np.index_exp[0:1], tuple[slice])
-assert_type(np.index_exp[0:1, None:3], tuple[slice, slice])
-assert_type(np.index_exp[0, 0:1, ..., [0, 1, 3]], tuple[Literal[0], slice, EllipsisType, list[int]])
+assert_type(np.index_exp[0:1], tuple[slice[int, int, None]])
+assert_type(np.index_exp[0:1, None:3], tuple[slice[int, int, None], slice[None, int, None]])
+assert_type(np.index_exp[0, 0:1, ..., [0, 1, 3]], tuple[Literal[0], slice[int, int, None], EllipsisType, list[int]])
 
-assert_type(np.s_[0:1], slice)
-assert_type(np.s_[0:1, None:3], tuple[slice, slice])
-assert_type(np.s_[0, 0:1, ..., [0, 1, 3]], tuple[Literal[0], slice, EllipsisType, list[int]])
+assert_type(np.s_[0:1], slice[int, int, None])
+assert_type(np.s_[0:1, None:3], tuple[slice[int, int, None], slice[None, int, None]])
+assert_type(np.s_[0, 0:1, ..., [0, 1, 3]], tuple[Literal[0], slice[int, int, None], EllipsisType, list[int]])
 
 assert_type(np.ix_(AR_LIKE_b), tuple[npt.NDArray[np.bool], ...])
 assert_type(np.ix_(AR_LIKE_i, AR_LIKE_f), tuple[npt.NDArray[np.float64], ...])
diff --git a/requirements/test_requirements.txt b/requirements/test_requirements.txt
@@ -15,7 +15,7 @@ cffi; python_version < '3.10'
 # For testing types. Notes on the restrictions:
 # - Mypy relies on C API features not present in PyPy
 # NOTE: Keep mypy in sync with environment.yml
-mypy==1.13.0; platform_python_implementation != "PyPy"
+mypy==1.14.1; platform_python_implementation != "PyPy"
 typing_extensions>=4.2.0
 # for optional f2py encoding detection
 charset-normalizer
