Skip to content

Commit 6d2e266

Browse files
updated conformance results for ty
1 parent f431048 commit 6d2e266

2 files changed

Lines changed: 2 additions & 4 deletions

File tree

conformance/results/results.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -523,7 +523,7 @@ <h3>Python Type System Conformance Test Results</h3>
523523
<th class="column col2 not-conformant">Unknown</th>
524524
<th class="column col2 conformant">Pass</th>
525525
<th class="column col2 conformant">Pass</th>
526-
<th class="column col2 not-conformant">Unknown</th>
526+
<th class="column col2 conformant">Pass</th>
527527
</tr>
528528
<tr><th class="column" colspan="7">
529529
<a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/qualifiers.html">Type qualifiers</a>

conformance/results/ty/generics_variance_inference.toml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
1-
conformance_automated = "Fail"
1+
conformance_automated = "Pass"
22
errors_diff = """
3-
Line 204: Unexpected errors ['generics_variance_inference.py:204:34: error[invalid-assignment] Object of type `ShouldBeCovariant7[int]` is not assignable to `ShouldBeCovariant7[object]`']
43
"""
54
output = """
65
generics_variance_inference.py:24:33: error[invalid-assignment] Object of type `ClassA[int | float, int, int]` is not assignable to `ClassA[int, int, int]`
@@ -26,6 +25,5 @@ generics_variance_inference.py:169:31: error[invalid-assignment] Object of type
2625
generics_variance_inference.py:170:33: error[invalid-assignment] Object of type `ShouldBeInvariant6[int]` is not assignable to `ShouldBeInvariant6[int | float]`
2726
generics_variance_inference.py:181:31: error[invalid-assignment] Object of type `ShouldBeCovariant6[int | float]` is not assignable to `ShouldBeCovariant6[int]`
2827
generics_variance_inference.py:194:37: error[invalid-assignment] Object of type `ShouldBeContravariant2[int]` is not assignable to `ShouldBeContravariant2[int | float]`
29-
generics_variance_inference.py:204:34: error[invalid-assignment] Object of type `ShouldBeCovariant7[int]` is not assignable to `ShouldBeCovariant7[object]`
3028
generics_variance_inference.py:205:31: error[invalid-assignment] Object of type `ShouldBeCovariant7[object]` is not assignable to `ShouldBeCovariant7[int]`
3129
"""

0 commit comments

Comments
 (0)