Add vague types to RecordWithoutPickling constructor

inducer · Jun 25, 2024 · 6114840 · 6114840
1 parent ba4440c
commit 6114840
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/pytools/__init__.py b/pytools/__init__.py
@@ -414,7 +414,10 @@ class RecordWithoutPickling:
     __slots__: ClassVar[List[str]] = []
     fields: ClassVar[Set[str]]
 
-    def __init__(self, valuedict=None, exclude=None, **kwargs):
+    def __init__(self,
+                 valuedict: Optional[Mapping[str, Any]] = None,
+                 exclude: Optional[Sequence[str]] = None,
+                 **kwargs: Any) -> None:
         assert self.__class__ is not Record
 
         if exclude is None: