diff --git a/conformance/results/mypy/version.toml b/conformance/results/mypy/version.toml index cdbafd59..6f12777c 100644 --- a/conformance/results/mypy/version.toml +++ b/conformance/results/mypy/version.toml @@ -1,2 +1,2 @@ -version = "mypy 1.12.0" -test_duration = 1.7 +version = "mypy 1.13.0" +test_duration = 1.5 diff --git a/conformance/results/pyre/version.toml b/conformance/results/pyre/version.toml index 4c6e1161..48f19eaa 100644 --- a/conformance/results/pyre/version.toml +++ b/conformance/results/pyre/version.toml @@ -1,2 +1,2 @@ version = "pyre 0.9.22" -test_duration = 4.6 +test_duration = 4.4 diff --git a/conformance/results/pyright/callables_kwargs.toml b/conformance/results/pyright/callables_kwargs.toml index b3e1e6c0..9dea95b6 100644 --- a/conformance/results/pyright/callables_kwargs.toml +++ b/conformance/results/pyright/callables_kwargs.toml @@ -1,11 +1,7 @@ -conformant = "Partial" -notes = """ -Incorrectly handles assert_type for unpacked TypedDict. -""" +conformant = "Pass" output = """ callables_kwargs.py:28:5 - error: Could not access item in TypedDict -  "v2" is not a required key in "*TD2", so access may result in runtime exception (reportTypedDictNotRequiredAccess) -callables_kwargs.py:41:17 - error: "assert_type" mismatch: expected "TD1" but received "*TD1" (reportAssertTypeFailure) +  "v2" is not a required key in "TD2", so access may result in runtime exception (reportTypedDictNotRequiredAccess) callables_kwargs.py:46:5 - error: Arguments missing for parameters "v1", "v3" (reportCallIssue) callables_kwargs.py:51:32 - error: No parameter named "v4" (reportCallIssue) callables_kwargs.py:52:11 - error: Expected 0 positional arguments (reportCallIssue) @@ -32,7 +28,6 @@ callables_kwargs.py:103:19 - error: Type "(**kwargs: **TD2) -> None" is not assi callables_kwargs.py:111:30 - error: Typed dictionary overlaps with keyword parameter: v1 (reportGeneralTypeIssues) callables_kwargs.py:122:21 - error: Expected TypedDict type argument for Unpack (reportGeneralTypeIssues) """ -conformance_automated = "Fail" +conformance_automated = "Pass" errors_diff = """ -Line 41: Unexpected errors ['callables_kwargs.py:41:17 - error: "assert_type" mismatch: expected "TD1" but received "*TD1" (reportAssertTypeFailure)'] """ diff --git a/conformance/results/pyright/typeddicts_readonly_kwargs.toml b/conformance/results/pyright/typeddicts_readonly_kwargs.toml index 6ef10226..4a2e2d22 100644 --- a/conformance/results/pyright/typeddicts_readonly_kwargs.toml +++ b/conformance/results/pyright/typeddicts_readonly_kwargs.toml @@ -1,7 +1,7 @@ conformant = "Pass" output = """ typeddicts_readonly_kwargs.py:33:5 - error: Could not assign item in TypedDict -  "key1" is a read-only key in "*ReadOnlyArgs" (reportTypedDictNotRequiredAccess) +  "key1" is a read-only key in "ReadOnlyArgs" (reportTypedDictNotRequiredAccess) """ conformance_automated = "Pass" errors_diff = """ diff --git a/conformance/results/pyright/version.toml b/conformance/results/pyright/version.toml index 4849f62d..49cfb801 100644 --- a/conformance/results/pyright/version.toml +++ b/conformance/results/pyright/version.toml @@ -1,2 +1,2 @@ -version = "pyright 1.1.385" +version = "pyright 1.1.386" test_duration = 1.2 diff --git a/conformance/results/results.html b/conformance/results/results.html index c6515ec3..3211c84f 100644 --- a/conformance/results/results.html +++ b/conformance/results/results.html @@ -158,14 +158,14 @@

Python Type System Conformance Test Results

- - - +
 
mypy 1.12.0
-
1.7sec
+
mypy 1.13.0
+
1.5sec
pyright 1.1.385
+
pyright 1.1.386
1.2sec
pyre 0.9.22
-
4.6sec
+
4.4sec
pytype 2024.10.11
33.1sec
@@ -608,7 +608,7 @@

Python Type System Conformance Test Results

     callables_kwargs Pass
Partial

Incorrectly handles assert_type for unpacked TypedDict.

Pass
Unsupported

Does not understand Unpack in the context of **kwargs annotation.

Unsupported

Does not understand Unpack in the context of **kwargs annotation.