fix: import override from typing_extensions

examples/call-external.py

@@ -1,7 +1,6 @@
-from typing import override
-
 import numpy as np
 from constantdict import constantdict
+from typing_extensions import override
 
 import loopy as lp
 from loopy.diagnostic import LoopyError

loopy/statistics.py

@@ -32,7 +32,9 @@
 from dataclasses import dataclass, field
 from enum import StrEnum
 from functools import cached_property, partial
-from typing import TYPE_CHECKING, Generic, Literal, TypeVar, override
+from typing import TYPE_CHECKING, Generic, Literal, TypeVar
+
+from typing_extensions import override
 
 import namedisl as nisl
 from namedisl import DimType

loopy/symbolic.py

@@ -42,13 +42,12 @@
     TypeVar,
     cast,
     overload,
-    override,
 )
 from warnings import warn
 
 import numpy as np
 from constantdict import constantdict
-from typing_extensions import Self
+from typing_extensions import Self, override
 
 import islpy as isl
 import namedisl as nisl