Running main.py and using the correct zuban version

Author: davidhalter

conformance/results/mypy/overloads_definitions_stub.toml

@@ -4,7 +4,7 @@ Allows @override to appear in a stub file not on the first overload.
 """
 conformance_automated = "Fail"
 errors_diff = """
-Lines 143, 147, 149: Expected error (tag 'override_impl')
+Lines 143, 146, 147, 149: Expected error (tag 'override_impl')
 """
 output = """
 overloads_definitions_stub.pyi:13: error: Single overload definition, multiple required  [misc]

conformance/results/mypy/qualifiers_annotated.toml

@@ -38,5 +38,4 @@ Line 85: Expected 1 errors
 Line 93: Expected 1 errors
 Line 98: Unexpected errors ['qualifiers_annotated.py:98: error: Invalid type: ClassVar nested inside other type  [valid-type]']
 Line 100: Unexpected errors ['qualifiers_annotated.py:100: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]']
-Line 119: Unexpected errors ['qualifiers_annotated.py:119: error: Cannot redefine "T" as a type variable  [misc]', 'qualifiers_annotated.py:119: error: Invalid assignment target  [misc]']
 """

conformance/results/mypy/version.toml

@@ -1,2 +1,2 @@
 version = "mypy 1.17.1"
-test_duration = 2.8
+test_duration = 2.96

conformance/results/pyre/classes_classvar.toml

@@ -33,6 +33,5 @@ Line 70: Expected 1 errors
 Line 73: Expected 1 errors
 Line 77: Expected 1 errors
 Line 78: Expected 1 errors
-Line 66: Unexpected errors ['classes_classvar.py:66:4 Uninitialized attribute [13]: Attribute `good5` is declared in class `ClassA` to have type `typing.Any` but is never initialized.']
 Line 74: Unexpected errors ['classes_classvar.py:74:8 Incompatible return type [7]: Expected `CV[int]` but got `int`.']
 """

conformance/results/pyre/overloads_definitions_stub.toml

@@ -4,8 +4,8 @@ Expects @final and @override to be present on all overloads, not just first.
 """
 conformance_automated = "Fail"
 errors_diff = """
-Lines 67, 69, 71, 73: Expected error (tag 'invalid_final')
-Lines 80, 82, 84, 86: Expected error (tag 'invalid_final_2')
+Lines 67, 69, 71, 72, 73: Expected error (tag 'invalid_final')
+Lines 80, 82, 84, 85, 86: Expected error (tag 'invalid_final_2')
 Lines 102, 107, 108, 111, 113: Expected error (tag 'override-final')
 Line 63: Unexpected errors ['overloads_definitions_stub.pyi:63:4 Incompatible overload [43]: This definition does not have the same decorators as the preceding overload(s).']
 Line 76: Unexpected errors ['overloads_definitions_stub.pyi:76:4 Incompatible overload [43]: This definition does not have the same decorators as the preceding overload(s).']

conformance/results/pyre/typeddicts_alt_syntax.toml

@@ -13,6 +13,5 @@ errors_diff = """
 Line 27: Expected 1 errors
 Line 31: Expected 1 errors
 Line 35: Expected 1 errors
-Line 45: Expected 1 errors
 Line 43: Unexpected errors ['typeddicts_alt_syntax.py:43:8 Undefined or invalid type [11]: Annotation `Movie2` is not defined as a type.']
 """

conformance/results/pyre/version.toml

@@ -1,2 +1,2 @@
 version = "pyre 0.9.25"
-test_duration = 5.4
+test_duration = 5.93

conformance/results/pyright/version.toml

@@ -1,2 +1,2 @@
 version = "pyright 1.1.403"
-test_duration = 4.3
+test_duration = 3.15

conformance/results/results.html

@@ -159,15 +159,16 @@ <h3>Python Type System Conformance Test Results</h3>
         <div class="table_container"><table><tbody>
 <tr><th class="col1">&nbsp;</th>
 <th class='tc-header'><div class='tc-name'>mypy 1.17.1</div>
-<div class='tc-time'>7.5sec</div>
+<div class='tc-time'>3.0sec</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyright 1.1.403</div>
+<div class='tc-time'>3.1sec</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyre 0.9.25</div>
-<div class='tc-time'>14.1sec</div>
+<div class='tc-time'>5.9sec</div>
 </th>
-<th class='tc-header'><div class='tc-name'>zuban 0.0.18</div>
-<div class='tc-time'>1.9sec</div>
+<th class='tc-header'><div class='tc-name'>zuban 0.0.19</div>
+<div class='tc-time'>0.15sec</div>
 </th>
 </tr>
 <tr><th class="column" colspan="5">
@@ -651,10 +652,10 @@ <h3>Python Type System Conformance Test Results</h3>
 <th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not validate call to custom metaclass __call__ method through type[T].</p></span></div></th>
 </tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;constructors_callable</th>
-<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not generate a union type for __new__ and __init__ when converting class to callable.</p><p>Does not ignore __init__ based on __new__ return type when converting class to callable.</p><p>Does not support __new__ return type that is different from class being constructed.</p><p>Struggles with some cases of self types</p></span></div></th>
+<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not generate a union type for __new__ and __init__ when converting class to callable.</p><p>Does not ignore __init__ based on __new__ return type when converting class to callable.</p><p>Does not support __new__ return type that is different from class being constructed.</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 generate a union type for __new__ and __init__ when converting class to callable.</p><p>Does not ignore __init__ based on __new__ return type when converting class to callable.</p><p>Does not support __new__ return type that is different from class being constructed.</p><p>Does not use annotated type of self in __init__ method to generate return type of callable.</p><p>Incorrectly raises incompatibility type errors.</p></span></div></th>
-<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not generate a union type for __new__ and __init__ when converting class to callable.</p><p>Does not ignore __init__ based on __new__ return type when converting class to callable.</p><p>Does not support __new__ return type that is different from class being constructed.</p></span></div></th>
+<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not generate a union type for __new__ and __init__ when converting class to callable.</p><p>Does not ignore __init__ based on __new__ return type when converting class to callable.</p><p>Does not support __new__ return type that is different from class being constructed.</p><p>Struggles with some cases of self types</p></span></div></th>
 </tr>
 <tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;constructors_consistency</th>
 <th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Does not report inconsistency between __new__ and __init__ (optional).</p></span></div></th>

conformance/results/zuban/dataclasses_transform_func.toml

@@ -2,10 +2,10 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-dataclasses_transform_func.py:57: error: Incompatible types in assignment (expression has type "int", variable has type "str")
-dataclasses_transform_func.py:61: error: Unsupported left operand type for < ("Customer1")
-dataclasses_transform_func.py:65: error: Unexpected keyword argument "salary" for "Customer1"
-dataclasses_transform_func.py:71: error: Too many positional arguments for "Customer2"
-dataclasses_transform_func.py:90: error: Non-frozen dataclass cannot inherit from a frozen dataclass
-dataclasses_transform_func.py:97: error: Property "id" defined in "Customer3" is read-only
+dataclasses_transform_func.py:56: error: Incompatible types in assignment (expression has type "int", variable has type "str")
+dataclasses_transform_func.py:60: error: Unsupported left operand type for < ("Customer1")
+dataclasses_transform_func.py:64: error: Unexpected keyword argument "salary" for "Customer1"
+dataclasses_transform_func.py:70: error: Too many positional arguments for "Customer2"
+dataclasses_transform_func.py:89: error: Non-frozen dataclass cannot inherit from a frozen dataclass
+dataclasses_transform_func.py:96: error: Property "id" defined in "Customer3" is read-only
 """