Upgrade pyright (#229)

Author: dbrattli

.github/workflows/python-package.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ["3.10", "3.11", "3.12"]
+        python-version: ["3.10", "3.11", "3.12", "3.13"]
 
     steps:
       - uses: actions/checkout@v3

.pre-commit-config.yaml

@@ -14,5 +14,5 @@ repos:
         language: node
         pass_filenames: false
         types: [python]
-        additional_dependencies: ["[email protected].374"]
+        additional_dependencies: ["[email protected].386"]
     repo: local

expression/core/option.py

@@ -10,7 +10,7 @@
 
 import builtins
 from collections.abc import Callable, Generator, Iterable
-from typing import TYPE_CHECKING, Any, Literal, TypeGuard, TypeVar, get_args, get_origin
+from typing import TYPE_CHECKING, Any, Literal, TypeGuard, TypeVar, cast, get_args, get_origin
 
 from typing_extensions import TypeVarTuple, Unpack
 
@@ -258,7 +258,7 @@ def dict(self) -> _TSourceOut | None:
             case Option(tag="some", some=value):
                 attr = getattr(value, "model_dump", None) or getattr(value, "dict", None)
                 if attr and callable(attr):
-                    value = attr()
+                    value = cast(_TSourceOut, attr())
 
                 return value
             case _:

expression/core/result.py

@@ -20,6 +20,7 @@
     Literal,
     TypeGuard,
     TypeVar,
+    cast,
     get_args,
     get_origin,
 )
@@ -189,12 +190,12 @@ def dict(self) -> builtins.dict[str, _TSourceOut | _TError | Literal["ok", "erro
             case Result(tag="ok", ok=value):
                 attr = getattr(value, "model_dump", None) or getattr(value, "dict", None)
                 if attr and callable(attr):
-                    value = attr()
+                    value = cast(_TSourceOut, attr())
                 return {"tag": "ok", "ok": value}
             case Result(error=error):
                 attr = getattr(error, "model_dump", None) or getattr(error, "dict", None)
                 if attr and callable(attr):
-                    error = attr()
+                    error = cast(_TError, attr())
                 return {"tag": "error", "error": error}
 
     def swap(self) -> Result[_TError, _TSourceOut]: