Merge branch 'main' into docs/improve-type-narrowing-wording

Author: BHUVANSH855

conformance/results/results.html

@@ -182,7 +182,7 @@ <h3>Python Type System Conformance Test Results</h3>
 </th>
 <th class='tc-header'><div class='tc-name'>pycroscope 0.4.0</div>
 </th>
-<th class='tc-header'><div class='tc-name'>ty 0.0.34</div>
+<th class='tc-header'><div class='tc-name'>ty 0.0.35</div>
 </th>
 </tr>
 <tr><th class="column" colspan="7">
@@ -859,7 +859,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 not-conformant">Unsupported</th>
+<th class="column col2 conformant">Pass</th>
 </tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;overloads_definitions</th>
 <th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Allows @override to be on all overloads and implementation, instead of just implementation.</p></span></div></th>

conformance/results/ty/overloads_consistency.toml

@@ -1,8 +1,7 @@
-conformance_automated = "Fail"
-conformant = "Unsupported"
+conformance_automated = "Pass"
 errors_diff = """
-Lines 25, 28: Expected error (tag 'return_type')
-Lines 41, 44: Expected error (tag 'parameter_type')
 """
 output = """
+overloads_consistency.py:25:5: error[invalid-overload] Overload return type is not assignable to implementation return type
+overloads_consistency.py:41:5: error[invalid-overload] Implementation does not accept all arguments of this overload
 """

conformance/results/ty/version.toml

@@ -1 +1 @@
-version = "ty 0.0.34"
+version = "ty 0.0.35"