From b591f5508f1532f10a6689b17f3e1b0bfee50261 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Sun, 21 Jun 2026 13:17:35 +0200
Subject: [PATCH] fix(checker): make map definition generic

---
 midas/checker/preamble.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/midas/checker/preamble.py b/midas/checker/preamble.py
index ea7001b..96a4ef7 100644
--- 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: