update mypy

deal/_runtime/_decorators.py

@@ -62,7 +62,7 @@ def pre(
         exception=exception or _exceptions.PreContractError,
     )
     func = partial(Contracts.attach, 'pres', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def post(
@@ -107,7 +107,7 @@ def post(
         exception=exception or _exceptions.PostContractError,
     )
     func = partial(Contracts.attach, 'posts', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def ensure(
@@ -155,7 +155,7 @@ def ensure(
         exception=exception or _exceptions.PostContractError,
     )
     func = partial(Contracts.attach, 'ensures', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def raises(
@@ -204,7 +204,7 @@ def raises(
         exception=exception or _exceptions.RaisesContractError,
     )
     func = partial(Contracts.attach, 'raises', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def has(
@@ -248,7 +248,7 @@ def has(
         exception=exception,
     )
     func = partial(Contracts.attach_has, patcher)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def reason(
@@ -303,7 +303,7 @@ def reason(
         exception=exception or _exceptions.ReasonContractError,
     )
     func = partial(Contracts.attach, 'reasons', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 def inv(
@@ -394,7 +394,7 @@ def example(validator: Callable[[], bool]) -> Callable[[C], C]:
         exception=_exceptions.ExampleContractError,
     )
     func = partial(Contracts.attach, 'examples', contract)
-    return func  # type: ignore[return-value]
+    return func
 
 
 @overload

deal/_runtime/_validators.py

@@ -15,8 +15,8 @@
 
 
 if TYPE_CHECKING:
-    Args = tuple[object, ...]   # type: ignore[misc]
-    Kwargs = dict[str, object]  # type: ignore[misc]
+    Args = tuple[object, ...]
+    Kwargs = dict[str, object]
 
 
 @lru_cache(maxsize=16)

deal/_trace.py

@@ -56,6 +56,8 @@ def _collect_trace_results(t: Trace, func, file_name: str, func_result) -> Trace
     last_line = max(all_lines)
 
     covered_lines: set[int] = set()
+    fname: str
+    lineno: int
     for fname, lineno in t.counts:  # type: ignore
         assert fname == file_name
         if lineno < first_line:

pyproject.toml

@@ -106,7 +106,7 @@ has-astroid = "not is_installed('astroid')"
 
 [tool.mypy]
 files = ["deal"]
-python_version = 3.8
+python_version = "3.9"
 plugins = ["deal.mypy"]
 ignore_missing_imports = true
 show_error_codes = true