diff --git a/pytools/__init__.py b/pytools/__init__.py index 513207ea8a0df1887dcef9e1fe1eacef11a2b168..a2c167c4d0b5b4c2a34e58a2cb4efce68476bfbd 100644 --- 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: