chore: replace mypy with ty

.pre-commit-config.yaml

@@ -1,7 +1,7 @@
 default_stages: [pre-commit]
 repos:
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.14.3
+    rev: v0.14.10
     hooks:
       - id: ruff-check
         args: [--fix]
@@ -15,8 +15,10 @@ repos:
       - id: trailing-whitespace
       - id: check-merge-conflict
 
-  - repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.18.2
+  - repo: local # till there is an official one https://github.com/astral-sh/ty/issues/269
     hooks:
-      - id: mypy
-        files: openfeature|tests/typechecking
+      - id: ty
+        name: ty check
+        entry: uv run --frozen ty check
+        pass_filenames: false
+        language: system

openfeature/client.py

@@ -893,7 +893,7 @@ async def _create_provider_evaluation_async(
 
         resolution = await get_details_callable(
             flag_key=flag_key,
-            default_value=default_value,
+            default_value=default_value,  # ty: ignore[invalid-argument-type]
             evaluation_context=evaluation_context,
         )
         if resolution.error_code:
@@ -949,7 +949,7 @@ def _create_provider_evaluation(
 
         resolution = get_details_callable(
             flag_key=flag_key,
-            default_value=default_value,
+            default_value=default_value,  # ty: ignore[invalid-argument-type]
             evaluation_context=evaluation_context,
         )
         if resolution.error_code:

openfeature/immutable_dict/mapping_proxy_type.py

@@ -17,7 +17,7 @@ class MappingProxyType(dict):
     `from types import MappingProxyType`
     """
 
-    def __hash__(self) -> int:  # type:ignore[override]
+    def __hash__(self) -> int:
         return id(self)
 
     def _immutable(self, *args: typing.Any, **kws: typing.Any) -> typing.NoReturn:

pyproject.toml

@@ -33,7 +33,8 @@ dev = [
     "coverage[toml]>=6.5",
     "pytest",
     "pytest-asyncio",
-    "pre-commit"
+    "pre-commit",
+    "ty>=0.0.4,<0.1.0",
 ]
 
 [tool.uv]
@@ -44,19 +45,6 @@ module-name = "openfeature"
 module-root = ""
 namespace = true
 
-[tool.mypy]
-files = "openfeature,tests/typechecking"
-
-python_version = "3.9" # should be identical to the minimum supported version
-namespace_packages = true
-explicit_package_bases = true
-local_partial_types = true # will become the new default from version 2
-allow_redefinition_new = true # will become the new default from version 2
-fixed_format_cache = true # new caching mechanism
-pretty = true
-strict = true
-disallow_any_generics = false
-
 [tool.pytest.ini_options]
 asyncio_default_fixture_loop_scope = "function"
 
@@ -131,6 +119,18 @@ banned-from = ["typing"]
 "typing.MutableMapping".msg = "Use collections.abc.MutableMapping instead"
 "typing.MutableSequence".msg = "Use collections.abc.MutableSequence instead"
 
+[tool.ty.environment]
+python-version = "3.9"
+
+[tool.ty.src]
+include = [
+    "openfeature",
+    "tests/typechecking",
+]
+
+[tool.ty.rules]
+unused-ignore-comment = "error"
+
 [project.scripts]
 # workaround while UV doesn't support scripts directly in the pyproject.toml
 # see: https://github.com/astral-sh/uv/issues/5903
@@ -139,4 +139,4 @@ test-cov = "scripts.scripts:test_cov"
 cov-report = "scripts.scripts:cov_report"
 cov = "scripts.scripts:cov"
 e2e = "scripts.scripts:e2e"
-precommit = "scripts.scripts:precommit"
+precommit = "scripts.scripts:precommit"

tests/typechecking/evaluation_context.py

@@ -76,15 +76,15 @@
 # negative
 EvaluationContext(
     targeting_key="key",
-    attributes={"null": None},  # type: ignore[dict-item]
+    attributes={"null": None},  # ty: ignore[invalid-argument-type]
 )
 
 EvaluationContext(
     targeting_key="key",
-    attributes={"complex": -4.5j},  # type: ignore[dict-item]
+    attributes={"complex": -4.5j},  # ty: ignore[invalid-argument-type]
 )
 
 EvaluationContext(
     targeting_key="key",
-    attributes={42: 42},  # type: ignore[dict-item]
+    attributes={42: 42},  # ty: ignore[invalid-argument-type]
 )

tests/typechecking/hook_data.py

@@ -31,4 +31,4 @@ class ExampleClass:
 class_hook_data: HookData = {"example": ExampleClass}
 
 # negative
-int_key_hook_data: HookData = {42: 42}  # type: ignore[dict-item]
+int_key_hook_data: HookData = {42: 42}  # ty: ignore[invalid-assignment]

tests/typechecking/hook_hints.py

@@ -53,8 +53,8 @@
 }
 
 # negative
-null_hook_hint: HookHints = {"null": None}  # type: ignore[dict-item]
+null_hook_hint: HookHints = {"null": None}  # ty: ignore[invalid-assignment]
 
-complex_hook_hint: HookHints = {"complex": -4.5j}  # type: ignore[dict-item]
+complex_hook_hint: HookHints = {"complex": -4.5j}  # ty: ignore[invalid-assignment]
 
-int_key_hook_hint: HookHints = {42: 42}  # type: ignore[dict-item]
+int_key_hook_hint: HookHints = {42: 42}  # ty: ignore[invalid-assignment]