Skip to content

Commit da98cf2

Browse files
authored
conformance: add notes about changed mypy behavior in 1.20.0 (#2255)
Addressing a couple comments on #2254 that came in after the PR was merged.
1 parent c289935 commit da98cf2

File tree

3 files changed

+4
-2
lines changed

3 files changed

+4
-2
lines changed

conformance/results/mypy/dataclasses_descriptors.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
conformant = "Partial"
22
notes = """
3+
Assumes descriptor behavior only when field is assigned in class body.
34
Does not correctly evaluate type of descriptor access.
45
"""
56
output = """

conformance/results/mypy/tuples_type_compat.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
conformant = "Partial"
22
notes = """
33
Does not support tuple narrowing based on `len()` type guard (optional).
4+
Incorrectly marks a match case as unreachable.
45
"""
56
output = """
67
tuples_type_compat.py:15: error: Incompatible types in assignment (expression has type "tuple[float, complex]", variable has type "tuple[int, int]") [assignment]

conformance/results/results.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -814,7 +814,7 @@ <h3>Python Type System Conformance Test Results</h3>
814814
<a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/dataclasses.html">Dataclasses</a>
815815
</th></tr>
816816
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dataclasses_descriptors</th>
817-
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not correctly evaluate type of descriptor access.</p></span></div></th>
817+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Assumes descriptor behavior only when field is assigned in class body.</p><p>Does not correctly evaluate type of descriptor access.</p></span></div></th>
818818
<th class="column col2 conformant">Pass</th>
819819
<th class="column col2 conformant">Pass</th>
820820
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>* Assumes descriptor behavior only when field is assigned in class body</p><p>* Doesn't allow non-data descriptors or data descriptors with differing `__get__` and `__set__` types</p></span></div></th>
@@ -1030,7 +1030,7 @@ <h3>Python Type System Conformance Test Results</h3>
10301030
<a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/tuples.html">Tuples</a>
10311031
</th></tr>
10321032
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;tuples_type_compat</th>
1033-
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not support tuple narrowing based on `len()` type guard (optional).</p></span></div></th>
1033+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not support tuple narrowing based on `len()` type guard (optional).</p><p>Incorrectly marks a match case as unreachable.</p></span></div></th>
10341034
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Incorrectly marks a match case as unreachable.</p></span></div></th>
10351035
<th class="column col2 conformant">Pass</th>
10361036
<th class="column col2 conformant">Pass</th>

0 commit comments

Comments
 (0)