Update ty results for v0.0.31

conformance/results/results.html

@@ -180,7 +180,7 @@ <h3>Python Type System Conformance Test Results</h3>
 </th>
 <th class='tc-header'><div class='tc-name'>pyrefly 0.60.0</div>
 </th>
-<th class='tc-header'><div class='tc-name'>ty 0.0.30</div>
+<th class='tc-header'><div class='tc-name'>ty 0.0.31</div>
 </th>
 </tr>
 <tr><th class="column" colspan="6">
@@ -1058,7 +1058,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant">Pass</th>
-<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Permits subclasses of `NamedTuple` classes to override read-only attributes in the class body of the subclass.</p></span></div></th>
+<th class="column col2 conformant">Pass</th>
 </tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;namedtuples_define_functional</th>
 <th class="column col2 conformant">Pass</th>

conformance/results/ty/namedtuples_define_class.toml

@@ -1,10 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Permits subclasses of `NamedTuple` classes to override read-only attributes in the class body of the subclass.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 106: Expected 1 errors
 """
 output = """
 namedtuples_define_class.py:32:7: error[index-out-of-bounds] Index 3 is out of bounds for tuple `Point` with length 3
@@ -18,6 +13,7 @@ namedtuples_define_class.py:49:23: error[unknown-argument] Argument `other` does
 namedtuples_define_class.py:69:20: error[too-many-positional-arguments] Too many positional arguments: expected 3, got 4
 namedtuples_define_class.py:76:5: error[invalid-named-tuple] NamedTuple field `_y` cannot start with an underscore
 namedtuples_define_class.py:86:5: error[invalid-named-tuple] NamedTuple field without default value cannot follow field(s) with default value(s): Field `latitude` defined here without a default value
+namedtuples_define_class.py:106:5: error[invalid-named-tuple-override] Cannot override NamedTuple field `x` inherited from `Point`
 namedtuples_define_class.py:125:19: error[invalid-argument-type] Argument is incorrect: Expected `str`, found `float`
 namedtuples_define_class.py:132:24: error[invalid-named-tuple] NamedTuple class `Unit` cannot use multiple inheritance except with `Generic[]`
 """

conformance/results/ty/version.toml

@@ -1 +1 @@
-version = "ty 0.0.30"
+version = "ty 0.0.31"

conformance/tests/ty.toml

@@ -8,3 +8,4 @@ redundant-final-classvar = "error"
 assert-type-unspellable-subtype = "ignore"
 invalid-enum-member-annotation = "error"
 mismatched-type-name = "error"
+invalid-named-tuple-override = "error"