update type hints

Author: Liam-DeVoe

hypothesis-python/src/hypothesis/internal/conjecture/provider_conformance.py

@@ -44,8 +44,7 @@ def build_intervals(intervals: list[int]) -> list[tuple[int, int]]:
     if len(intervals) % 2:
         intervals = intervals[:-1]
     intervals.sort()
-    # help mypy infer tuple[int, ...] -> tuple[int, int]
-    return list(batched(intervals, 2, strict=True))  # type: ignore
+    return list(batched(intervals, 2, strict=True))
 
 
 def interval_lists(

hypothesis-python/src/hypothesis/internal/observability.py

@@ -298,15 +298,15 @@ def remove_observability_callback(f: CallbackT, /) -> None:
     callbacks for this thread.
     """
     if f in _callbacks_all_threads:
-        _callbacks_all_threads.remove(cast(CallbackAllThreadsT, f))
+        _callbacks_all_threads.remove(f)
 
     thread_id = threading.get_ident()
     if thread_id not in _callbacks:
         return
 
     callbacks = _callbacks[thread_id]
     if f in callbacks:
-        callbacks.remove(cast(CallbackThreadT, f))
+        callbacks.remove(f)
 
     if not callbacks:
         del _callbacks[thread_id]

hypothesis-python/src/hypothesis/internal/reflection.py

@@ -272,7 +272,7 @@ def get_pretty_function_description(f: object) -> str:
         return pretty(f)
     if not hasattr(f, "__name__"):
         return repr(f)
-    name = f.__name__  # type: ignore
+    name = f.__name__
     if name == "<lambda>":
         return lambda_sources.lambda_description(f)
     elif isinstance(f, (types.MethodType, types.BuiltinMethodType)):
@@ -518,7 +518,7 @@ def is_identity_function(f: Callable) -> bool:
 
     # We know that f accepts a single positional argument, now check that its
     # code object is simply "return first unbound argument".
-    template = (lambda self, x: x) if bound_args else (lambda x: x)  # type: ignore
+    template = (lambda self, x: x) if bound_args else (lambda x: x)
     try:
         return code.co_code == template.__code__.co_code
     except AttributeError:  # pragma: no cover  # pypy only