Enable warn_unused_ignores and drop stale type: ignore comments

The mypy-typemap fork no longer needs these ignores; turn on
warn_unused_ignores so future drift is caught.

Author: msullivan

pyproject.toml

@@ -75,3 +75,6 @@ include = ["pyproject.toml", "typemap/**/*.py", "typemap_extensions/**/*.py", "t
 
 [tool.ruff.format]
 quote-style = "preserve"
+
+[tool.mypy]
+warn_unused_ignores = true

typemap/type_eval/_eval_call.py

@@ -87,7 +87,7 @@ def _get_bound_type_args_from_bound_args(
             and tv.__bound__
             and typing_extensions.is_typeddict(tv.__bound__)
         ):
-            tp = typing.TypedDict(f"**{param.name}", bound.kwargs)  # type: ignore[misc, operator]
+            tp = typing.TypedDict(f"**{param.name}", bound.kwargs)  # type: ignore[misc]
             vars[tv] = tp
         # trivial type[T] bindings
         elif (

typemap/type_eval/_eval_operators.py

@@ -357,7 +357,7 @@ def _create_updated_class(
     bases = tuple(
         b.alias_type()
         if b.cls is not typing.Generic
-        else typing.Generic[t.__type_params__]  # type: ignore[index]
+        else typing.Generic[t.__type_params__]
         for b in box.bases
     )
 
@@ -696,9 +696,9 @@ def _callable_type_to_method(name, typ, ctx):
         # Override the receiver type with type[Self].
         if name == "__init_subclass__" and isinstance(cls, typing.TypeVar):
             # For __init_subclass__ generic on cls: T, keep type[T]
-            cls_typ = type[cls]  # type: ignore[name-defined]
+            cls_typ = type[cls]
         else:
-            cls_typ = type[typing.Self]  # type: ignore[name-defined]
+            cls_typ = type[typing.Self]
         cls_param = Param[typing.Literal["cls"], cls_typ, quals]
         typ = typing.Callable[Params[cls_param, *param_list], ret]
     elif head is staticmethod:

typemap/type_eval/_eval_typing.py

@@ -460,7 +460,7 @@ def _eval_ty_or_list(obj):
 
 
 @_eval_types_impl.register
-def _eval_union(obj: typing.Union, ctx: EvalContext):  # type: ignore
+def _eval_union(obj: typing.Union, ctx: EvalContext):
     args: typing.Sequence[typing.Any] = obj.__args__
     new_args = tuple(_eval_types(arg, ctx) for arg in args)
     return typing.Union[new_args]

typemap/type_eval/_typing_inspect.py

@@ -35,7 +35,7 @@ def is_special_form(t: Any, form: Any) -> bool:
     Returns:
         True if t is the special form or a generic alias with that origin
     """
-    return t is form or (is_generic_alias(t) and get_origin(t) is form)  # type: ignore [comparison-overlap]
+    return t is form or (is_generic_alias(t) and get_origin(t) is form)
 
 
 def is_generic_alias(t: Any) -> TypeGuard[GenericAlias]:
@@ -44,7 +44,7 @@ def is_generic_alias(t: Any) -> TypeGuard[GenericAlias]:
 
 def is_valid_type_arg(t: Any) -> bool:
     return isinstance(t, type) or (
-        is_generic_alias(t) and get_origin(t) is not Unpack  # type: ignore [comparison-overlap]
+        is_generic_alias(t) and get_origin(t) is not Unpack
     )
 
 
@@ -84,7 +84,7 @@ def is_type_var_or_tuple(t: Any) -> bool:
 def is_type_var_tuple_unpack(t: Any) -> TypeGuard[GenericAlias]:
     return (
         is_generic_alias(t)
-        and get_origin(t) is Unpack  # type: ignore [comparison-overlap]
+        and get_origin(t) is Unpack
         and is_type_var_tuple(get_args(t)[0])
     )
 
@@ -98,7 +98,7 @@ def is_generic_type_alias(t: Any) -> TypeGuard[GenericAlias]:
 
 
 def is_annotated(t: Any) -> TypeGuard[Annotated[Any, ...]]:
-    return is_generic_alias(t) and get_origin(t) is Annotated  # type: ignore [comparison-overlap]
+    return is_generic_alias(t) and get_origin(t) is Annotated
 
 
 def is_forward_ref(t: Any) -> TypeGuard[ForwardRef]:
@@ -121,9 +121,8 @@ def contains_forward_refs(t: Any) -> bool:
 
 
 def is_union_type(t: Any) -> TypeGuard[UnionType]:
-    return (
-        (is_generic_alias(t) and get_origin(t) is Union)  # type: ignore [comparison-overlap]
-        or isinstance(t, UnionType)
+    return (is_generic_alias(t) and get_origin(t) is Union) or isinstance(
+        t, UnionType
     )
 
 
@@ -132,7 +131,7 @@ def is_optional_type(t: Any) -> TypeGuard[UnionType]:
 
 
 def is_literal(t: Any) -> bool:
-    return is_generic_alias(t) and get_origin(t) is Literal  # type: ignore [comparison-overlap]
+    return is_generic_alias(t) and get_origin(t) is Literal
 
 
 def get_head(t: Any) -> type | None: