MAINT: remove hard dependency on typing_extensions

Author: lucascolley

pixi.lock

@@ -26,7 +26,7 @@ classifiers = [
     "Typing :: Typed",
 ]
 dynamic = ["version"]
-dependencies = ["typing-extensions"]
+dependencies = []
 
 [project.optional-dependencies]
 tests = [
@@ -64,7 +64,6 @@ platforms = ["linux-64", "osx-arm64", "win-64"]
 
 [tool.pixi.dependencies]
 python = ">=3.10.15,<3.14"
-typing_extensions = ">=4.12.2,<4.13"
 
 [tool.pixi.pypi-dependencies]
 array-api-extra = { path = ".", editable = true }
@@ -74,6 +73,7 @@ pre-commit = "*"
 pylint = "*"
 basedmypy = "*"
 basedpyright = "*"
+typing_extensions = ">=4.12.2,<4.13"
 # import dependencies for mypy:
 array-api-strict = "*"
 numpy = "*"

pyproject.toml

@@ -6,7 +6,7 @@
 import sys
 import typing
 
-from typing_extensions import override
+from ._typing import override
 
 if typing.TYPE_CHECKING:
     from ._typing import Array, Device

src/array_api_extra/_lib/_compat.py

@@ -1,10 +1,21 @@
 from __future__ import annotations  # https://github.com/pylint-dev/pylint/pull/9990
 
+import typing
 from types import ModuleType
 from typing import Any
 
+if typing.TYPE_CHECKING:
+    from typing_extensions import override
+else:
+
+    def no_op_decorator(f):  # pyright: ignore[reportUnreachable]
+        return f
+
+    override = no_op_decorator
+
+__all__ = ["Array", "Device", "ModuleType", "override"]
+
+
 # To be changed to a Protocol later (see data-apis/array-api#589)
 Array = Any  # type: ignore[no-any-explicit]
 Device = Any  # type: ignore[no-any-explicit]
-
-__all__ = ["Array", "Device", "ModuleType"]