diff --git a/conformance/results/mypy/version.toml b/conformance/results/mypy/version.toml index 6bd36c63..ec26466c 100644 --- a/conformance/results/mypy/version.toml +++ b/conformance/results/mypy/version.toml @@ -1,2 +1,2 @@ version = "mypy 1.15.0" -test_duration = 2.1 +test_duration = 2.3 diff --git a/conformance/results/pyre/typeddicts_class_syntax.toml b/conformance/results/pyre/typeddicts_class_syntax.toml index ff3c7e5f..2dc3e959 100644 --- a/conformance/results/pyre/typeddicts_class_syntax.toml +++ b/conformance/results/pyre/typeddicts_class_syntax.toml @@ -11,7 +11,7 @@ typeddicts_class_syntax.py:49:0 Unexpected keyword [28]: Unexpected keyword argu conformance_automated = "Fail" errors_diff = """ Line 29: Expected 1 errors -Line 33: Expected 1 errors -Line 38: Expected 1 errors Line 44: Expected 1 errors +Lines 33, 34: Expected error (tag 'method2') +Lines 38, 39: Expected error (tag 'method3') """ diff --git a/conformance/results/pyre/version.toml b/conformance/results/pyre/version.toml index c60d2044..1fe37985 100644 --- a/conformance/results/pyre/version.toml +++ b/conformance/results/pyre/version.toml @@ -1,2 +1,2 @@ version = "pyre 0.9.23" -test_duration = 3.9 +test_duration = 8.2 diff --git a/conformance/results/pyright/version.toml b/conformance/results/pyright/version.toml index 8fb908ad..57dacbb6 100644 --- a/conformance/results/pyright/version.toml +++ b/conformance/results/pyright/version.toml @@ -1,2 +1,2 @@ -version = "pyright 1.1.398" -test_duration = 2.3 +version = "pyright 1.1.399" +test_duration = 1.4 diff --git a/conformance/results/pytype/protocols_merging.toml b/conformance/results/pytype/protocols_merging.toml index a3102a96..28275fdd 100644 --- a/conformance/results/pytype/protocols_merging.toml +++ b/conformance/results/pytype/protocols_merging.toml @@ -6,12 +6,12 @@ Does not report attempt to instantiate abstract class downgraded from protocol c output = """ protocols_merging.py:52:1: \u001b[1m\u001b[31merror\u001b[39m\u001b[0m: in : Type annotation for s6 does not match type of assignment [annotation-type-mismatch] -s6: SizedAndClosable1 = SCConcrete2() # E: doesn't implement close +s6: SizedAndClosable1 = SCConcrete2() # E: doesn't implement `__len__` \u001b[1m\u001b[31m~~\u001b[39m\u001b[0m protocols_merging.py:53:1: \u001b[1m\u001b[31merror\u001b[39m\u001b[0m: in : Type annotation for s7 does not match type of assignment [annotation-type-mismatch] -s7: SizedAndClosable2 = SCConcrete2() # E: doesn't implement close +s7: SizedAndClosable2 = SCConcrete2() # E: doesn't implement `__len__` \u001b[1m\u001b[31m~~\u001b[39m\u001b[0m protocols_merging.py:54:1: \u001b[1m\u001b[31merror\u001b[39m\u001b[0m: in : Type annotation for s8 does not match type of assignment [annotation-type-mismatch] diff --git a/conformance/results/pytype/typeddicts_class_syntax.toml b/conformance/results/pytype/typeddicts_class_syntax.toml index c60ade24..d3a7ae73 100644 --- a/conformance/results/pytype/typeddicts_class_syntax.toml +++ b/conformance/results/pytype/typeddicts_class_syntax.toml @@ -18,9 +18,9 @@ class GenericTypedDict(TypedDict, Generic[T]): conformance_automated = "Fail" errors_diff = """ Line 29: Expected 1 errors -Line 33: Expected 1 errors -Line 38: Expected 1 errors Line 44: Expected 1 errors Line 49: Expected 1 errors +Lines 33, 34: Expected error (tag 'method2') +Lines 38, 39: Expected error (tag 'method3') Line 57: Unexpected errors ['typeddicts_class_syntax.py:57:1: \\x1b[1m\\x1b[31merror\\x1b[39m\\x1b[0m: in : Invalid base class: Generic[T] [base-class-error]'] """ diff --git a/conformance/results/pytype/version.toml b/conformance/results/pytype/version.toml index cdc0a953..57c8a1ff 100644 --- a/conformance/results/pytype/version.toml +++ b/conformance/results/pytype/version.toml @@ -1,2 +1,2 @@ version = "pytype 2024.10.11" -test_duration = 43.3 +test_duration = 35.2 diff --git a/conformance/results/results.html b/conformance/results/results.html index d78bd912..85500563 100644 --- a/conformance/results/results.html +++ b/conformance/results/results.html @@ -159,16 +159,16 @@

Python Type System Conformance Test Results

- + - + - + diff --git a/conformance/tests/typeddicts_class_syntax.py b/conformance/tests/typeddicts_class_syntax.py index 6c8409b5..b83f50bf 100644 --- a/conformance/tests/typeddicts_class_syntax.py +++ b/conformance/tests/typeddicts_class_syntax.py @@ -30,13 +30,13 @@ def method1(self): # E pass # Methods are not allowed, so this should generate an error. - @classmethod # E - def method2(cls): + @classmethod # E[method2] + def method2(cls): # E[method2] pass # Methods are not allowed, so this should generate an error. - @staticmethod # E - def method3(): + @staticmethod # E[method3] + def method3(): # E[method3] pass
 
mypy 1.15.0
-
2.1sec
-
pyright 1.1.398
2.3sec
pyright 1.1.399
+
1.4sec
+
pyre 0.9.23
-
3.9sec
+
8.2sec
pytype 2024.10.11
-
43.3sec
+
35.2sec
@@ -445,10 +445,10 @@

Python Type System Conformance Test Results

Class type compatibility
     classes_classvar
Partial

Internal error if TypeVarTuple is used in ClassVar.

Does not reject use of ParamSpec in ClassVar.

Rejects ClassVar nested in Annotated.

Does not reject use of ClassVar in TypeAlias definition.

Does not infer type of ClassVar from assignment if no type is provided.

Partial

Internal error if TypeVarTuple is used in ClassVar.

Does not reject use of ParamSpec in ClassVar.

Rejects ClassVar nested in Annotated.

Does not reject use of ClassVar in TypeAlias definition.

 Pass
Partial

Does not reject use of TypeVar in ClassVar.

Does not reject use of ParamSpec in ClassVar.

Does not reject use of ClassVar as a generic type argument.

Does not reject use of ClassVar in parameter type annotation.

Does not reject use of ClassVar in local variable annotation.

Does not reject use of ClassVar in instance variable annotation.

Does not reject use of ClassVar in return type annotation.

Does not reject use of ClassVar in type alias definition.

Does not infer type from initialization for bare ClassVar.

Partial

Does not reject use of TypeVar in ClassVar.

Does not reject use of ParamSpec in ClassVar.

Does not reject use of ClassVar as a generic type argument.

Rejects initialization of ClassVar if no type argument is provided.

Does not reject use of ClassVar in parameter type annotation.

Does not reject use of ClassVar in local variable annotation.

Does not reject use of ClassVar in instance variable annotation.

Does not reject use of ClassVar in return type annotation.

Does not reject use of ClassVar in type alias definition.

Does not reject assignment of ClassVar through instance of class.

Partial

Does not reject use of TypeVar in ClassVar.

Does not reject use of ParamSpec in ClassVar.

Does not reject use of ClassVar as a generic type argument.

Rejects initialization of ClassVar if no type argument is provided.

Does not infer ClassVar with no type argument and no assigned value as Any.

Does not reject use of ClassVar in parameter type annotation.

Does not reject use of ClassVar in local variable annotation.

Does not reject use of ClassVar in instance variable annotation.

Does not reject use of ClassVar in return type annotation.

Does not reject use of ClassVar in type alias definition.

Does not reject assignment of ClassVar through instance of class.
     classes_override
Partial

Does not handle case where parent class derives from Any.