fix type error

Author: saulshanabrook

python/tests/test_high_level.py

@@ -548,7 +548,7 @@ def f(x: T) -> T: ...
     with egraph:
 
         @function
-        def f(x: T, y: T) -> T: ...
+        def f(x: T, y: T) -> T: ...  # type: ignore[misc]
 
         egraph.register(f(T(1), T(2)))  # type: ignore[call-arg]