Zuban executable changes (#2079)

Author: davidhalter

conformance/results/pyright/version.toml

@@ -1 +1 @@
-version = "pyright 1.1.403"
+version = "pyright 1.1.404"

conformance/results/results.html

@@ -160,11 +160,11 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th class="col1">&nbsp;</th>
 <th class='tc-header'><div class='tc-name'>mypy 1.17.1</div>
 </th>
-<th class='tc-header'><div class='tc-name'>pyright 1.1.403</div>
+<th class='tc-header'><div class='tc-name'>pyright 1.1.404</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyre 0.9.25</div>
 </th>
-<th class='tc-header'><div class='tc-name'>zuban 0.0.19</div>
+<th class='tc-header'><div class='tc-name'>zuban 0.0.20</div>
 </th>
 </tr>
 <tr><th class="column" colspan="5">

conformance/results/zuban/aliases_explicit.toml

@@ -2,28 +2,28 @@ 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:67: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_explicit.py:68: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_explicit.py:69: error: Bad number of arguments for type alias, expected 1, given 2  [misc]
+aliases_explicit.py:70: error: Bad number of arguments for type alias, expected 1, given 2  [misc]
+aliases_explicit.py:71: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"  [misc]
+aliases_explicit.py:79: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:80: error: Bracketed expression "[...]" is not valid as a type  [valid-type]
 aliases_explicit.py:80: note: Did you mean "List[...]"?
-aliases_explicit.py:81: error: Syntax error in type annotation
+aliases_explicit.py:81: error: Syntax error in type annotation  [valid-type]
 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:82: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:83: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:84: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:85: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:86: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:87: error: Variable "aliases_explicit.var1" is not valid as a type  [valid-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
+aliases_explicit.py:88: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:89: error: Invalid type: try using Literal[1] instead?  [valid-type]
+aliases_explicit.py:90: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:91: error: Invalid type alias: expression is not a valid type  [valid-type]
+aliases_explicit.py:100: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_explicit.py:101: error: "<typing special form>" not callable  [operator]
+aliases_explicit.py:102: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
 """

conformance/results/zuban/aliases_implicit.toml

@@ -2,40 +2,40 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-aliases_implicit.py:76: error: Bad number of arguments for type alias, expected 0, given 1
-aliases_implicit.py:77: error: Bad number of arguments for type alias, expected 0, given 1
-aliases_implicit.py:78: error: Bad number of arguments for type alias, expected 1, given 2
-aliases_implicit.py:79: error: Bad number of arguments for type alias, expected 1, given 2
-aliases_implicit.py:80: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"
-aliases_implicit.py:81: error: Type argument "str" of "GoodTypeAlias12" must be a subtype of "float"
-aliases_implicit.py:106: error: Variable "aliases_implicit.BadTypeAlias1" is not valid as a type
+aliases_implicit.py:76: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_implicit.py:77: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_implicit.py:78: error: Bad number of arguments for type alias, expected 1, given 2  [misc]
+aliases_implicit.py:79: error: Bad number of arguments for type alias, expected 1, given 2  [misc]
+aliases_implicit.py:80: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "int"  [misc]
+aliases_implicit.py:81: error: Type argument "str" of "GoodTypeAlias12" must be a subtype of "float"  [type-var]
+aliases_implicit.py:106: error: Variable "aliases_implicit.BadTypeAlias1" is not valid as a type  [valid-type]
 aliases_implicit.py:106: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:107: error: Variable "aliases_implicit.BadTypeAlias2" is not valid as a type
+aliases_implicit.py:107: error: Variable "aliases_implicit.BadTypeAlias2" is not valid as a type  [valid-type]
 aliases_implicit.py:107: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:108: error: Variable "aliases_implicit.BadTypeAlias3" is not valid as a type
+aliases_implicit.py:108: error: Variable "aliases_implicit.BadTypeAlias3" is not valid as a type  [valid-type]
 aliases_implicit.py:108: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:109: error: Variable "aliases_implicit.BadTypeAlias4" is not valid as a type
+aliases_implicit.py:109: error: Variable "aliases_implicit.BadTypeAlias4" is not valid as a type  [valid-type]
 aliases_implicit.py:109: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:110: error: Variable "aliases_implicit.BadTypeAlias5" is not valid as a type
+aliases_implicit.py:110: error: Variable "aliases_implicit.BadTypeAlias5" is not valid as a type  [valid-type]
 aliases_implicit.py:110: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:111: error: Variable "aliases_implicit.BadTypeAlias6" is not valid as a type
+aliases_implicit.py:111: error: Variable "aliases_implicit.BadTypeAlias6" is not valid as a type  [valid-type]
 aliases_implicit.py:111: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:112: error: Variable "aliases_implicit.BadTypeAlias7" is not valid as a type
+aliases_implicit.py:112: error: Variable "aliases_implicit.BadTypeAlias7" is not valid as a type  [valid-type]
 aliases_implicit.py:112: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:113: error: Variable "aliases_implicit.BadTypeAlias8" is not valid as a type
+aliases_implicit.py:113: error: Variable "aliases_implicit.BadTypeAlias8" is not valid as a type  [valid-type]
 aliases_implicit.py:113: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:114: error: Variable "aliases_implicit.var1" is not valid as a type
+aliases_implicit.py:114: error: Variable "aliases_implicit.var1" is not valid as a type  [valid-type]
 aliases_implicit.py:114: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:115: error: Variable "aliases_implicit.BadTypeAlias10" is not valid as a type
+aliases_implicit.py:115: error: Variable "aliases_implicit.BadTypeAlias10" is not valid as a type  [valid-type]
 aliases_implicit.py:115: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:116: error: Variable "aliases_implicit.BadTypeAlias11" is not valid as a type
+aliases_implicit.py:116: error: Variable "aliases_implicit.BadTypeAlias11" is not valid as a type  [valid-type]
 aliases_implicit.py:116: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:117: error: Variable "aliases_implicit.BadTypeAlias12" is not valid as a type
+aliases_implicit.py:117: error: Variable "aliases_implicit.BadTypeAlias12" is not valid as a type  [valid-type]
 aliases_implicit.py:117: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:118: error: Variable "aliases_implicit.BadTypeAlias13" is not valid as a type
+aliases_implicit.py:118: error: Variable "aliases_implicit.BadTypeAlias13" is not valid as a type  [valid-type]
 aliases_implicit.py:118: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:119: error: Variable "aliases_implicit.BadTypeAlias14" is not valid as a type
+aliases_implicit.py:119: error: Variable "aliases_implicit.BadTypeAlias14" is not valid as a type  [valid-type]
 aliases_implicit.py:119: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#variables-vs-type-aliases
-aliases_implicit.py:133: error: "UnionType" not callable
-aliases_implicit.py:135: error: Bad number of arguments for type alias, expected 0, given 1
+aliases_implicit.py:133: error: "UnionType" not callable  [operator]
+aliases_implicit.py:135: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
 """

conformance/results/zuban/aliases_newtype.toml

@@ -2,20 +2,20 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-aliases_newtype.py:11: error: Argument 1 to "UserId" has incompatible type "str"; expected "int"
-aliases_newtype.py:12: error: Incompatible types in assignment (expression has type "int", variable has type "UserId")
-aliases_newtype.py:18: error: Incompatible types in assignment (expression has type "Type[UserId]", variable has type "Type[Any]")
-aliases_newtype.py:23: error: Cannot use isinstance() with NewType type
-aliases_newtype.py:26: error: Cannot subclass "NewType"
-aliases_newtype.py:35: error: String argument 1 "BadName" to NewType(...) does not match variable name "GoodName"
-aliases_newtype.py:41: error: Bad number of arguments for type alias, expected 0, given 1
-aliases_newtype.py:47: error: Argument 2 to NewType(...) must be subclassable (got "int | str")
-aliases_newtype.py:50: error: Type variable "aliases_newtype.T" is unbound
+aliases_newtype.py:11: error: Argument 1 to "UserId" has incompatible type "str"; expected "int"  [arg-type]
+aliases_newtype.py:12: error: Incompatible types in assignment (expression has type "int", variable has type "UserId")  [assignment]
+aliases_newtype.py:18: error: Incompatible types in assignment (expression has type "Type[UserId]", variable has type "Type[Any]")  [assignment]
+aliases_newtype.py:23: error: Cannot use isinstance() with NewType type  [misc]
+aliases_newtype.py:26: error: Cannot subclass "NewType"  [misc]
+aliases_newtype.py:35: error: String argument 1 "BadName" to NewType(...) does not match variable name "GoodName"  [misc]
+aliases_newtype.py:41: error: Bad number of arguments for type alias, expected 0, given 1  [misc]
+aliases_newtype.py:47: error: Argument 2 to NewType(...) must be subclassable (got "int | str")  [valid-newtype]
+aliases_newtype.py:50: error: Type variable "aliases_newtype.T" is unbound  [misc]
 aliases_newtype.py:50: note: (Hint: Use "Generic[T]" or "Protocol[T]" base class to bind "T" inside a class)
 aliases_newtype.py:50: note: (Hint: Use "T" in function signature to bind "T" inside a function)
-aliases_newtype.py:52: error: NewType cannot be used with protocol classes
-aliases_newtype.py:54: error: Argument 2 to NewType(...) must be subclassable (got "Literal[7]")
-aliases_newtype.py:61: error: Argument 2 to NewType(...) must be subclassable (got "TD1")
-aliases_newtype.py:63: error: NewType(...) expects exactly two positional arguments
-aliases_newtype.py:65: error: Argument 2 to NewType(...) must be subclassable (got "Any")
+aliases_newtype.py:52: error: NewType cannot be used with protocol classes  [misc]
+aliases_newtype.py:54: error: Argument 2 to NewType(...) must be subclassable (got "Literal[7]")  [valid-newtype]
+aliases_newtype.py:61: error: Argument 2 to NewType(...) must be subclassable (got "TD1")  [valid-newtype]
+aliases_newtype.py:63: error: NewType(...) expects exactly two positional arguments  [call-arg]
+aliases_newtype.py:65: error: Argument 2 to NewType(...) must be subclassable (got "Any")  [valid-newtype]
 """

conformance/results/zuban/aliases_recursive.toml

@@ -2,16 +2,16 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-aliases_recursive.py:19: error: Dict entry 1 has incompatible type "str": "complex"; expected "str": "None | int | str | float | list[Json] | dict[str, Json]"
-aliases_recursive.py:20: error: List item 1 has incompatible type "complex"; expected "None | int | str | float | list[Json] | dict[str, Json]"
-aliases_recursive.py:38: error: Incompatible types in assignment (expression has type "tuple[int, tuple[str, int], tuple[int, tuple[int, list[int]]]]", variable has type "str | int | tuple[RecursiveTuple, ...]")
-aliases_recursive.py:39: error: Name "t6" already defined on line 38
-aliases_recursive.py:39: error: Incompatible types in assignment (expression has type "tuple[int, list[int]]", variable has type "str | int | tuple[RecursiveTuple, ...]")
-aliases_recursive.py:50: error: Dict entry 0 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
-aliases_recursive.py:51: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
-aliases_recursive.py:52: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"
-aliases_recursive.py:63: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias1[str] | str"
-aliases_recursive.py:69: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias2[str, int] | str | int"
-aliases_recursive.py:72: error: Invalid recursive alias: a union item of itself
-aliases_recursive.py:75: error: Invalid recursive alias: a union item of itself
+aliases_recursive.py:19: error: Dict entry 1 has incompatible type "str": "complex"; expected "str": "None | int | str | float | list[Json] | dict[str, Json]"  [dict-item]
+aliases_recursive.py:20: error: List item 1 has incompatible type "complex"; expected "None | int | str | float | list[Json] | dict[str, Json]"  [list-item]
+aliases_recursive.py:38: error: Incompatible types in assignment (expression has type "tuple[int, tuple[str, int], tuple[int, tuple[int, list[int]]]]", variable has type "str | int | tuple[RecursiveTuple, ...]")  [assignment]
+aliases_recursive.py:39: error: Name "t6" already defined on line 38  [no-redef]
+aliases_recursive.py:39: error: Incompatible types in assignment (expression has type "tuple[int, list[int]]", variable has type "str | int | tuple[RecursiveTuple, ...]")  [assignment]
+aliases_recursive.py:50: error: Dict entry 0 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"  [dict-item]
+aliases_recursive.py:51: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"  [dict-item]
+aliases_recursive.py:52: error: Dict entry 2 has incompatible type "str": "list[int]"; expected "str": "str | int | Mapping[str, str | int | Mapping[str, RecursiveMapping]]"  [dict-item]
+aliases_recursive.py:63: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias1[str] | str"  [list-item]
+aliases_recursive.py:69: error: List item 0 has incompatible type "float"; expected "GenericTypeAlias2[str, int] | str | int"  [list-item]
+aliases_recursive.py:72: error: Invalid recursive alias: a union item of itself  [misc]
+aliases_recursive.py:75: error: Invalid recursive alias: a union item of itself  [misc]
 """