Add the Zuban Type Checker (#2067)

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

@@ -28,8 +28,6 @@ qualifiers_annotated.py:91: error: "<typing special form>" not callable  [operat
 qualifiers_annotated.py:92: error: "<typing special form>" not callable  [operator]
 qualifiers_annotated.py:98: error: Invalid type: ClassVar nested inside other type  [valid-type]
 qualifiers_annotated.py:100: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_annotated.py:119: error: Cannot redefine "T" as a type variable  [misc]
-qualifiers_annotated.py:119: error: Invalid assignment target  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
@@ -38,5 +36,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

@@ -0,0 +1,29 @@
+conformance_automated = "Pass"
+errors_diff = """
+"""
+output = """
+aliases_explicit.py:67: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:68: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:69: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_explicit.py:70: error: Bad number of arguments for type alias, expected 1, given 2
+aliases_explicit.py:71: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"
+aliases_explicit.py:79: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:80: error: Bracketed expression "[...]" is not valid as a type
+aliases_explicit.py:80: note: Did you mean "List[...]"?
+aliases_explicit.py:81: error: Syntax error in type annotation
+aliases_explicit.py:81: note: Suggestion: Is there a spurious trailing comma?
+aliases_explicit.py:82: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:83: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:84: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:85: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:86: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:87: error: Variable "aliases_explicit.var1" is not valid as a type
+aliases_explicit.py:87: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
+aliases_explicit.py:88: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:89: error: Invalid type: try using Literal[1] instead?
+aliases_explicit.py:90: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:91: error: Invalid type alias: expression is not a valid type
+aliases_explicit.py:100: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_explicit.py:101: error: "<typing special form>" not callable
+aliases_explicit.py:102: error: Bad number of arguments for type alias, expected 0, given 1
+"""