Skip to content

Zuban executable changes #2079

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
srittau merged 2 commits into from
Aug 29, 2025
Merged

Zuban executable changes #2079

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
385de7d
Use the zuban executable
davidhalter Aug 29, 2025
7d77052
Add error codes to the zuban type checker
davidhalter Aug 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion conformance/results/pyright/version.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
version = "pyright 1.1.403"
version = "pyright 1.1.404"
4 changes: 2 additions & 2 deletions conformance/results/results.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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">
Expand Down
42 changes: 21 additions & 21 deletions conformance/results/zuban/aliases_explicit.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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]
"""
44 changes: 22 additions & 22 deletions conformance/results/zuban/aliases_implicit.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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]
"""
28 changes: 14 additions & 14 deletions conformance/results/zuban/aliases_newtype.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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]
"""
24 changes: 12 additions & 12 deletions conformance/results/zuban/aliases_recursive.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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]
"""
Loading