lint

Author: tcoratger

src/lean_spec/types/list.py

@@ -9,7 +9,7 @@ class LeanList:
     """A generic type for creating length-limited lists."""
 
     @classmethod
-    def __class_getitem__(cls, params: tuple[Any, ...]):
-        """Make the class subscriptable (e.g., List[str, 10])."""
+    def __class_getitem__(cls, params: tuple[Any, ...]) -> Any:
+        """Make the class subscriptable (e.g., LeanList[str, 10])."""
         item_type, max_length = params
         return Annotated[list[item_type], Field(max_length=max_length)]