Fix pytype errors

CTSRD-CHERI · Jul 14, 2023 · ccf5b8c · ccf5b8c
1 parent 32d11fd
commit ccf5b8c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/pycheribuild/projects/simple_project.py b/pycheribuild/projects/simple_project.py
@@ -237,18 +237,18 @@ def __get__(self, instance: "SimpleProject", owner: "type[SimpleProject]"):
     # noinspection PyPep8Naming
     def BoolConfigOption(name: str, help: str,  # noqa: N802
                          default: "typing.Union[bool, ComputedDefaultValue[bool]]" = False, **kwargs) -> bool:
-        ...
+        return typing.cast(bool, default)
 
     # noinspection PyPep8Naming
     def IntConfigOption(name: str, help: str,  # noqa: N802
                         default: "typing.Union[int, ComputedDefaultValue[int]]", **kwargs) -> int:
-        ...
+        return typing.cast(int, default)
 
     # noinspection PyPep8Naming
     def OptionalIntConfigOption(name: str, help: str,  # noqa: N802
-                                default: "typing.Union[Optional[int], ComputedDefaultValue[Optional[int]]]",
+                                default: "typing.Union[Optional[int], ComputedDefaultValue[Optional[int]]]" = None,
                                 **kwargs) -> "Optional[int]":
-        ...
+        return typing.cast(Optional[int], default)
 else:
     class BoolConfigOption(PerProjectConfigOption):
         def __init__(self, name: str, help: str, default: "typing.Union[bool, ComputedDefaultValue[bool]]" = False,