| - | mypy 1.11.2
-1.6sec
+ | mypy 1.12.0
+1.7sec
|
pyright 1.1.384
-1.2sec
+1.3sec
|
pyre 0.9.22
-4.5sec
+4.6sec
|
pytype 2024.10.11
-31.9sec
+33.1sec
|
|
|---|---|---|---|---|---|---|
@@ -277,7 +277,7 @@ Python Type System Conformance Test Results | Unsupported Does not support ParamSpec. |
|||||
| generics_paramspec_components | -Partial Does not report illegal use of "P.args" on normal parameter. Does not report error when P.args is specified but P.kwargs is missing. Does not report error when P is out of scope and P.args and P.kwargs is used. Does not report error when keyword argument is specified between P.args and P.kwargs. Does not report error when calling callable and argument is missing for concatenated parameters. |
+Partial Does not report illegal use of "P.args" on normal parameter. Does not report error when P.args is specified but P.kwargs is missing. Does not report error when P is out of scope and P.args and P.kwargs is used. Does not report error when keyword argument is specified between P.args and P.kwargs. |
Pass | Partial Does not report illegal use of "P.args" on normal parameter. Does not report error when P.args is specified but P.kwargs is missing. Does not report error when P is out of scope and P.args and P.kwargs is used. Does not report error when calling callback defined with ParamSpec with incorrect arguments. Does not report error when keyword argument is specified between P.args and P.kwargs. Does not report error when calling callable and argument is missing for concatenated parameters. |
Unsupported Does not support ParamSpec. |
@@ -337,7 +337,7 @@ Unsupported Type parameter syntax not yet support. |
| generics_syntax_declarations | -Partial Does not detect many illegal usages of type parameter syntax. |
+Pass | Pass | Unsupported Type parameter syntax not yet support. |
Unsupported Type parameter syntax not yet support. |
@@ -415,7 +415,7 @@ Unsupported Does not support covariant or contravariant TypeVars. |
| generics_variance_inference | -Partial Computes incorrect variance in some cases. |
+Pass | Pass | Unsupported Type parameter syntax not yet support. |
Unsupported Type parameter syntax not yet support. |
@@ -484,7 +484,7 @@ Partial Does not detect type violation for some deeply-nested types. Does not properly handle `|` for unions in some recursive type alias definitions. Does not detect cyclical references in recursive type alias definition. |
| aliases_type_statement | -Partial Does not reject use of TypeAliasType as base class. Does not reject redefinition of type alias defined with type statement. Does not reject type alias defined in function scope. Does not reject type alias with circular definition. |
+Partial Does not reject type alias defined in function scope. |
Pass | Unsupported Does not support `type` statement. |
Unsupported Does not support `type` statement. |
@@ -808,31 +808,31 @@ Partial Does not report type violation with TypedDict value assignment. Does not report reference to unknown key in TypedDict. Does not reject `clear` method on TypedDict with required keys. Does not reject delete operation for required key in TypedDict. |
| typeddicts_readonly | -Unsupported | +Partial Incorrectly rejects NotRequired directive when used in an Annotated annotation. |
Pass | Unsupported | Unsupported | |
| typeddicts_readonly_consistency | -Unsupported | +Partial Incorrectly rejects assignment of required item to not-required read-only item. |
Pass | Unsupported | Unsupported | |
| typeddicts_readonly_inheritance | -Unsupported | +Partial Incorrectly rejects non-ReadOnly override of ReadOnly item. Incorrectly rejects override of ReadOnly item with another ReadOnly item with narrower type. Incorrectly rejects override of NotRequired ReadOnly item with a Required ReadOnly item. |
Pass | Unsupported | Unsupported | |
| typeddicts_readonly_kwargs | -Unsupported | +Pass | Pass | Unsupported | Unsupported | |
| typeddicts_readonly_update | -Unsupported | +Partial Incorrectly allows update of ReadOnly item. Incorrectly rejects update involving an item with Never type. |
Pass | Unsupported | Unsupported | @@ -859,7 +859,7 @@|
| tuples_type_compat | -Partial Does not support tuple narrowing based on `len()` type guard (optional). Incorrectly narrows tuple based on sequence patterns. |
+Partial Does not support tuple narrowing based on `len()` type guard (optional). |
Pass | Partial Does not support some unpacked tuple forms. Does not report type violation when assigning `tuple[int, ...]` to `tuple[int]`. Does not support tuple narrowing based on `len()` type guard (optional). Does not correctly evaluate `Sequence[Never]` for `tuple[()]`. |
Partial Does not support unpacked tuple forms. Does not report type violation when assigning `tuple[int, ...]` to `tuple[int]`. Does not support tuple narrowing based on `len()` type guard (optional). |
diff --git a/conformance/src/type_checker.py b/conformance/src/type_checker.py
index c8955c0f..185a3a0c 100644
--- a/conformance/src/type_checker.py
+++ b/conformance/src/type_checker.py
@@ -109,16 +109,6 @@ def run_tests(self, test_files: Sequence[str]) -> dict[str, str]:
"-m",
"mypy",
".",
- # Enable experimental support for PEP 695 syntax.
- # This can be removed once it's no longer experimental.
- "--enable-incomplete-feature=NewGenericSyntax",
- # Mypy currently crashes when run on a couple of test cases,
- # so we need to exclude them for now. Remove this once mypy adds
- # support for this functionality.
- "--exclude",
- r"generics_defaults\.py",
- "--exclude",
- r"generics_syntax_declarations\.py",
"--disable-error-code",
"empty-body",
]
diff --git a/conformance/tests/aliases_type_statement.py b/conformance/tests/aliases_type_statement.py
index 23fe137c..024b4098 100644
--- a/conformance/tests/aliases_type_statement.py
+++ b/conformance/tests/aliases_type_statement.py
@@ -48,10 +48,8 @@ def func2(x: object):
type BadTypeAlias12 = list or set # E
type BadTypeAlias13 = f"{'int'}" # E
-if 1 < 2:
- type BadTypeAlias14 = int # E: redeclared
-else:
- type BadTypeAlias14 = int
+type BadTypeAlias14 = int # E[TA14]: redeclared
+type BadTypeAlias14 = int # E[TA14]: redeclared
def func3():
@@ -87,5 +85,5 @@ def func3():
type RecursiveTypeAlias5[T] = T | list[RecursiveTypeAlias5[T]]
-type RecursiveTypeAlias6 = RecursiveTypeAlias7 # E: circular definition
-type RecursiveTypeAlias7 = RecursiveTypeAlias6
+type RecursiveTypeAlias6 = RecursiveTypeAlias7 # E[RTA6]: circular definition
+type RecursiveTypeAlias7 = RecursiveTypeAlias6 # E[RTA6]: circular definition
diff --git a/conformance/tests/generics_syntax_declarations.py b/conformance/tests/generics_syntax_declarations.py
index 21ab84cb..62d2d101 100644
--- a/conformance/tests/generics_syntax_declarations.py
+++ b/conformance/tests/generics_syntax_declarations.py
@@ -7,13 +7,11 @@
# This generic class is parameterized by a TypeVar T, a
# TypeVarTuple Ts, and a ParamSpec P.
-from typing import Generic, ParamSpec, Protocol, TypeVar, TypeVarTuple, assert_type
+from typing import Generic, Protocol
class ChildClass[T, *Ts, **P]:
- assert_type(T, TypeVar)
- assert_type(Ts, TypeVarTuple)
- assert_type(P, ParamSpec)
+ pass
class ClassA[T](Generic[T]): # E: Runtime error
diff --git a/conformance/tests/generics_variance_inference.py b/conformance/tests/generics_variance_inference.py
index c2de9376..c7e09760 100644
--- a/conformance/tests/generics_variance_inference.py
+++ b/conformance/tests/generics_variance_inference.py
@@ -41,7 +41,7 @@ def __iter__(self) -> Iterator[T]:
vco1_2: ShouldBeCovariant1[int] = ShouldBeCovariant1[float]() # E
-class ShouldBeCovariant2[T](Sequence[T]):
+class ShouldBeCovariant2[T](ShouldBeCovariant1[T]):
pass
@@ -85,7 +85,7 @@ def __init__(self, value: T) -> None:
self._value = value
@property
- def value(self):
+ def value(self) -> T:
return self._value
@value.setter
|