diff --git a/conformance/results/mypy/dataclasses_descriptors.toml b/conformance/results/mypy/dataclasses_descriptors.toml index e0c1e142..e4731029 100644 --- a/conformance/results/mypy/dataclasses_descriptors.toml +++ b/conformance/results/mypy/dataclasses_descriptors.toml @@ -1,5 +1,6 @@ conformant = "Partial" notes = """ +Assumes descriptor behavior only when field is assigned in class body. Does not correctly evaluate type of descriptor access. """ output = """ diff --git a/conformance/results/mypy/tuples_type_compat.toml b/conformance/results/mypy/tuples_type_compat.toml index 602e6cd5..c3cc7919 100644 --- a/conformance/results/mypy/tuples_type_compat.toml +++ b/conformance/results/mypy/tuples_type_compat.toml @@ -1,6 +1,7 @@ conformant = "Partial" notes = """ Does not support tuple narrowing based on `len()` type guard (optional). +Incorrectly marks a match case as unreachable. """ output = """ tuples_type_compat.py:15: error: Incompatible types in assignment (expression has type "tuple[float, complex]", variable has type "tuple[int, int]") [assignment] diff --git a/conformance/results/results.html b/conformance/results/results.html index ee117fc4..95f5422b 100644 --- a/conformance/results/results.html +++ b/conformance/results/results.html @@ -814,7 +814,7 @@

Python Type System Conformance Test Results

Dataclasses      dataclasses_descriptors -
Partial

Does not correctly evaluate type of descriptor access.

+
Partial

Assumes descriptor behavior only when field is assigned in class body.

Does not correctly evaluate type of descriptor access.

Pass Pass
Partial

* Assumes descriptor behavior only when field is assigned in class body

* Doesn't allow non-data descriptors or data descriptors with differing `__get__` and `__set__` types

@@ -1030,7 +1030,7 @@

Python Type System Conformance Test Results

Tuples      tuples_type_compat -
Partial

Does not support tuple narrowing based on `len()` type guard (optional).

+
Partial

Does not support tuple narrowing based on `len()` type guard (optional).

Incorrectly marks a match case as unreachable.

Partial

Incorrectly marks a match case as unreachable.

Pass Pass