Set up mypy tests

Author: Tinche

pdm.lock

@@ -9,7 +9,6 @@ lint = [
 test = [
     "hypothesis>=6.79.4",
     "pytest>=7.4.0",
-    "pytest-benchmark>=4.0.0",
     "immutables>=0.20",
     "typing-extensions>=4.7.1",
     "coverage>=7.4.0",
@@ -26,6 +25,11 @@ docs = [
 ]
 bench = [
     "pyperf>=2.6.1",
+    "pytest-benchmark>=4.0.0",
+]
+tests-mypy = [
+    "pytest-mypy-plugins>=3.0.0",
+    "mypy>=1.7.1",
 ]
 
 [build-system]
@@ -99,7 +103,7 @@ msgspec = [
 ]
 
 [tool.pytest.ini_options]
-addopts = "-l --benchmark-sort=fullname --benchmark-warmup=true --benchmark-warmup-iterations=5  --benchmark-group-by=fullname"
+addopts = "-l --mypy-only-local-stub --benchmark-sort=fullname --benchmark-warmup=true --benchmark-warmup-iterations=5  --benchmark-group-by=fullname"
 
 [tool.coverage.run]
 parallel = true

pyproject.toml

@@ -0,0 +1,51 @@
+- case: empty_customize
+  main: |
+    from attrs import define, fields as f
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A)
+
+- case: customize_int
+  main: |
+    from attrs import define, fields as f
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A, v.V(f(A).a).ensure(v.between(5, 10)))
+
+- case: customize_int_no_empty_ensure
+  main: |
+    from attrs import define, fields as f
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A, v.V(f(A).a).ensure())  # E: Missing positional argument "validator" in call to "ensure" of "V"  [call-arg]
+
+- case: customize_int_no_wrong_validator
+  main: |
+    from attrs import define, fields as f
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A, v.V(f(A).a).ensure(v.len_between(0, 10)))  # E: Argument 1 to "ensure" of "V" has incompatible type "Callable[[Sized], None]"; expected "Callable[[int], bool | None]"  [arg-type]

tests/v/test_mypy.yml

@@ -0,0 +1,38 @@
+- case: greater_than
+  main: |
+    from attrs import define, fields
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A, v.V(fields(A).a).ensure(v.greater_than(5)))
+
+- case: greater_than_error
+  main: |
+    from attrs import define, fields
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: int
+
+    c = Converter()
+
+    v.customize(c, A, v.V(fields(A).a).ensure(v.greater_than("5")))  # E: Argument 1 to "greater_than" has incompatible type "str"; expected "int"  [arg-type]
+
+- case: len_between
+  main: |
+    from attrs import define, fields
+    from cattrs import v, Converter
+
+    @define
+    class A:
+      a: list[int]
+
+    c = Converter()
+
+    v.customize(c, A, v.V(fields(A).a).ensure(v.len_between(5, 10)))