add TypeError doctest

rudymatela · Aug 19, 2024 · 66222ff · 66222ff
1 parent d07b727
commit 66222ff
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/leancheck.py b/src/leancheck.py
@@ -115,6 +115,11 @@ def __class_getitem__(cls, c):
 
         >>> print(Enumerator[tuple[int,int,int]])
         [(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 0, 0), (0, 0, 2), (0, 1, 1), ...]
+
+        >>> print(Enumerator[type])
+        Traceback (most recent call last):
+        ...
+        TypeError: could not find Enumerator for <class 'type'>
         """
         cls._initialize()
         try: