Fix types

mkdocstrings_handlers/crystal/collector.py

@@ -115,8 +115,8 @@ def substitute(self, location: DocLocation) -> str:
         data = {"file": location.filename[len(self.src_path) :], "line": location.line}
         try:
             return self.dest_url.format_map(
-                collections.ChainMap(data, _DictAccess(self), _crystal_info)
-            )  # type: ignore
+                collections.ChainMap(data, _DictAccess(self), _crystal_info)  # type: ignore[arg-type]
+            )
         except KeyError as e:
             raise PluginError(
                 f"The source_locations template {self.dest_url!r} did not resolve correctly: {e}"

mkdocstrings_handlers/crystal/renderer.py

@@ -2,7 +2,7 @@
 
 import contextlib
 import xml.etree.ElementTree as etree
-from typing import TYPE_CHECKING, Any, Mapping, TypeVar
+from typing import TYPE_CHECKING, Any, Mapping, TypeVar, cast
 
 import jinja2
 import markdown_callouts
@@ -105,7 +105,9 @@ def do_reference(self, path: str | DocPath, text: str | None = None) -> str:
     def do_convert_markdown_ctx(
         self, text: str, context: DocItem, heading_level: int, html_id: str
     ):
-        self._md.treeprocessors["mkdocstrings_crystal_xref"].context = context
+        cast(
+            _RefInsertingTreeprocessor, self._md.treeprocessors["mkdocstrings_crystal_xref"]
+        ).context = context
         return super().do_convert_markdown(text, heading_level=heading_level, html_id=html_id)
 
     def _monkeypatch_highlight_function(self, default_lang: str):

pyproject.toml

@@ -130,6 +130,7 @@ allow-dict-calls-with-keyword-arguments = true
 
 [tool.mypy]
 warn_unreachable = true
+allow_redefinition = true
 
 [tool.pytest.ini_options]
 addopts = "--tb=native"