Update zuban and run results

Author: davidhalter

conformance/results/results.html

@@ -176,7 +176,7 @@ <h3>Python Type System Conformance Test Results</h3>
 </th>
 <th class='tc-header'><div class='tc-name'>pyright 1.1.408</div>
 </th>
-<th class='tc-header'><div class='tc-name'>zuban 0.6.1</div>
+<th class='tc-header'><div class='tc-name'>zuban 0.6.2</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyrefly 0.56.0</div>
 </th>
@@ -227,7 +227,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typeforms_typeform</th>
 <th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not support assigning Union and GenericAlias objects to their runtime types.</p></span></div></th>
 <th class="column col2 not-conformant">Unsupported</th>
-<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>TypeForm[Any] is not considered equivalent to itself.</p></span></div></th>
+<th class="column col2 conformant">Pass</th>
 <th class="column col2 not-conformant">Unsupported</th>
 <th class="column col2 not-conformant">Unsupported</th>
 </tr>
@@ -345,7 +345,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;generics_self_advanced</th>
 <th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not infer the type of an unannotated `self` parameter to be type `Self`.</p><p>Does not retain `Self` when calling method that returns `Self`.</p><p>Does not infer the type of an unannotated `cls` parameter to be type `type[Self]`.</p><p>Does not retain `Self` when accessing attribute through `type[Self]`.</p></span></div></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>Doesn't allow accessing `Self` in a classmethod</p></span></div></th>
+<th class="column col2 conformant">Pass</th>
 <th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Treats attributes not initialized on the class as instance-only</p></span></div></th>
 <th class="column col2 conformant">Pass</th>
 </tr>
@@ -837,7 +837,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dataclasses_hash</th>
 <th class="column col2 not-conformant"><div class="hover-text">Unsupported<span class="tooltip-text" id="bottom"><p>Does not synthesize `__hash__ = None` as a class attribute for unhashable dataclasses.</p><p>Does not report when an unhashable dataclass has `__hash__` called directly on an instance.</p><p>Does not report when dataclass is not compatible with Hashable protocol.</p></span></div></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>Does not synthesize a `__hash__ = None` class attribute for unhashable dataclasses.</p></span></div></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>Understands the `Hashable` protocol as equivalent to `object`.</p></span></div></th>
 </tr>

conformance/results/zuban/dataclasses_hash.toml

@@ -1,17 +1,13 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not synthesize a `__hash__ = None` class attribute for unhashable dataclasses.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 14: Unexpected errors ['dataclasses_hash.py:14: error: Expression is of type "Callable[[object], int]", not "None"  [misc]']
-Line 36: Unexpected errors ['dataclasses_hash.py:36: error: Expression is of type "Callable[[object], int]", not "None"  [misc]']
 """
 output = """
-dataclasses_hash.py:14: error: Expression is of type "Callable[[object], int]", not "None"  [misc]
-dataclasses_hash.py:17: error: "DC1" has no attribute "__hash__"  [attr-defined]
+dataclasses_hash.py:17: error: "None" not callable  [operator]
 dataclasses_hash.py:18: error: Incompatible types in assignment (expression has type "DC1", variable has type "Hashable")  [assignment]
-dataclasses_hash.py:36: error: Expression is of type "Callable[[object], int]", not "None"  [misc]
-dataclasses_hash.py:39: error: "DC3" has no attribute "__hash__"  [attr-defined]
+dataclasses_hash.py:18: note: Following member(s) of "DC1" have conflicts:
+dataclasses_hash.py:18: note:     __hash__: expected "Callable[[], int]", got "None"
+dataclasses_hash.py:39: error: "None" not callable  [operator]
 dataclasses_hash.py:40: error: Incompatible types in assignment (expression has type "DC3", variable has type "Hashable")  [assignment]
+dataclasses_hash.py:40: note: Following member(s) of "DC3" have conflicts:
+dataclasses_hash.py:40: note:     __hash__: expected "Callable[[], int]", got "None"
 """

conformance/results/zuban/generics_self_advanced.toml

@@ -1,13 +1,6 @@
-conformant = "Partial"
-notes = """
-Doesn't allow accessing `Self` in a classmethod
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 43: Unexpected errors ['generics_self_advanced.py:43: error: Access to generic instance variables via class is ambiguous  [misc]']
-Line 44: Unexpected errors ['generics_self_advanced.py:44: error: Access to generic instance variables via class is ambiguous  [misc]']
 """
 output = """
-generics_self_advanced.py:43: error: Access to generic instance variables via class is ambiguous  [misc]
-generics_self_advanced.py:44: error: Access to generic instance variables via class is ambiguous  [misc]
+generics_self_advanced.py:45: error: Access to generic instance variables via class is ambiguous  [misc]
 """

conformance/results/zuban/typeforms_typeform.toml

@@ -1,15 +1,9 @@
-conformant = "Partial"
-notes = """
-TypeForm[Any] is not considered equivalent to itself.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 41: Unexpected errors ['typeforms_typeform.py:41: error: Expression is of type "typing.TypeForm(Any)", not "typing.TypeForm(Any)"  [misc]']
 """
 output = """
 typeforms_typeform.py:23: error: Incompatible types in assignment (expression has type "typing.TypeForm(str | int)", variable has type "typing.TypeForm(str | None)")  [assignment]
 typeforms_typeform.py:24: error: Incompatible types in assignment (expression has type "type[list[str | None]]", variable has type "typing.TypeForm(str | None)")  [assignment]
-typeforms_typeform.py:41: error: Expression is of type "typing.TypeForm(Any)", not "typing.TypeForm(Any)"  [misc]
 typeforms_typeform.py:59: error: Invalid syntax  [syntax]
 typeforms_typeform.py:67: error: Invalid type comment or annotation  [valid-type]
 typeforms_typeform.py:68: error: Syntax error in type annotation  [valid-type]

conformance/results/zuban/version.toml

@@ -1 +1 @@
-version = "zuban 0.6.1"
+version = "zuban 0.6.2"