fix(checker): make map definition generic

2026-06-21 13:17:35 +02:00
parent 41d0c84bbe
commit b591f5508f
1 changed files with 1 additions and 0 deletions
--- a/midas/checker/preamble.py
+++ b/midas/checker/preamble.py
@@ -52,6 +52,7 @@ class Preamble(Environment):
                ),
            ],
            returns=self._list_of(map_out),  # TODO: replace with Iterable[U]
+            type_vars=[map_in, map_out],
        )

    def _list_of(self, item_type: Type) -> Type: