Skip to content

Upgrade Zuban to 0.9.2 #2347

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
JelleZijlstra merged 1 commit into from
Aug 26, 2026
+68 −172
Merged

Upgrade Zuban to 0.9.2 #2347

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
54 changes: 13 additions & 41 deletions conformance/results/results.html
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 10 additions & 4 deletions conformance/results/zuban/callables_subtyping.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -175,13 +175,19 @@ callables_subtyping.py:243: note: def __call__(self, x: int) -> None
callables_subtyping.py:273: error: Incompatible types in assignment (expression has type "Overloaded9", variable has type "FloatArg9") [assignment]
callables_subtyping.py:273: note: Following member(s) of "Overloaded9" have conflicts:
callables_subtyping.py:273: note: Expected:
callables_subtyping.py:273: note: def __call__(self: FloatArg9, x: float) -> float
callables_subtyping.py:273: note: def __call__(self, x: float) -> float
callables_subtyping.py:273: note: Got:
callables_subtyping.py:273: note: def __call__(*args: Any, **kwds: Any) -> Any
callables_subtyping.py:273: note: @overload
callables_subtyping.py:273: note: def __call__(self, x: int) -> int
callables_subtyping.py:273: note: @overload
callables_subtyping.py:273: note: def __call__(self, x: str) -> str
callables_subtyping.py:297: error: Incompatible types in assignment (expression has type "StrArg10", variable has type "Overloaded10") [assignment]
callables_subtyping.py:297: note: Following member(s) of "StrArg10" have conflicts:
callables_subtyping.py:297: note: Expected:
callables_subtyping.py:297: note: def __call__(*args: Any, **kwds: Any) -> Any
callables_subtyping.py:297: note: @overload
callables_subtyping.py:297: note: def __call__(self, x: int, y: str) -> float
callables_subtyping.py:297: note: @overload
callables_subtyping.py:297: note: def __call__(self, x: str) -> complex
callables_subtyping.py:297: note: Got:
callables_subtyping.py:297: note: def __call__(self: StrArg10, x: str) -> complex
callables_subtyping.py:297: note: def __call__(self, x: str) -> complex
"""
15 changes: 7 additions & 8 deletions conformance/results/zuban/classes_override.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,16 @@
conformant = "Partial"
notes = """
Does not honor `@override` compatibility checks for `__init__` and `__new__`:
the incompatible constructor overrides in `ChildC2` are not flagged.
"""
conformance_automated = "Fail"
conformance_automated = "Pass"
errors_diff = """
Lines 134, 135: Expected error (tag 'init')
Lines 137, 138: Expected error (tag 'new')
"""
output = """
classes_override.py:53: error: Method "method3" is marked as an override, but no base method was found with this name [misc]
classes_override.py:56: error: Method "method4" is marked as an override, but no base method was found with this name [misc]
classes_override.py:79: error: Method "static_method1" is marked as an override, but no base method was found with this name [misc]
classes_override.py:84: error: Method "class_method1" is marked as an override, but no base method was found with this name [misc]
classes_override.py:89: error: Method "property1" is marked as an override, but no base method was found with this name [misc]
classes_override.py:135: error: Argument 1 of "__init__" is incompatible with supertype "ParentC"; supertype defines the argument type as "int" [override]
classes_override.py:135: note: This violates the Liskov substitution principle
classes_override.py:135: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides
classes_override.py:138: error: Argument 1 of "__new__" is incompatible with supertype "ParentC"; supertype defines the argument type as "int" [override]
classes_override.py:138: note: This violates the Liskov substitution principle
classes_override.py:138: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides
"""
2 changes: 1 addition & 1 deletion conformance/results/zuban/constructors_call_init.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ errors_diff = """
"""
output = """
constructors_call_init.py:21: error: Argument 1 to "Class1" has incompatible type "float"; expected "int" [arg-type]
constructors_call_init.py:42: error: Argument 1 to "Class3" has incompatible type "Class2[Any]"; expected "Self | None" [arg-type]
constructors_call_init.py:42: error: Argument 1 to "Class3" has incompatible type "Class2[int]"; expected "Self | None" [arg-type]
constructors_call_init.py:56: error: Invalid self type in __init__ [call-arg]
constructors_call_init.py:107: error: The type of self "T1" has type vars in non standard positions for class "Class8" [misc]
constructors_call_init.py:107: error: The type of self "T2" has type vars in non standard positions for class "Class8" [misc]
Expand Down
10 changes: 1 addition & 9 deletions conformance/results/zuban/enums_expansion.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,15 +1,7 @@
conformant = "Partial"
notes = """
Does not treat a complete union of all literal members as equivalent to the enum type.
"""
conformance_automated = "Fail"
conformance_automated = "Pass"
errors_diff = """
Line 85: Unexpected errors ['enums_expansion.py:85: error: Incompatible types in assignment (expression has type "Answer", variable has type "Literal[Answer.Yes, Answer.No]") [assignment]']
Line 86: Unexpected errors ['enums_expansion.py:86: error: Expression is of type "Answer", not "Literal[Answer.Yes, Answer.No]" [misc]']
"""
output = """
enums_expansion.py:38: error: Statement is unreachable [unreachable]
enums_expansion.py:56: error: Expression is of type "CustomFlags", not "Literal[CustomFlags.FLAG3]" [misc]
enums_expansion.py:85: error: Incompatible types in assignment (expression has type "Answer", variable has type "Literal[Answer.Yes, Answer.No]") [assignment]
enums_expansion.py:86: error: Expression is of type "Answer", not "Literal[Answer.Yes, Answer.No]" [misc]
"""
8 changes: 1 addition & 7 deletions conformance/results/zuban/generics_mixed_variance_inference.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,8 @@
conformant = "Partial"
notes = """
Does not infer covariance for a TypeVarTuple in a class with mixed type parameters.
"""
conformance_automated = "Fail"
conformance_automated = "Pass"
errors_diff = """
Line 17: Unexpected errors ['generics_mixed_variance_inference.py:17: error: Incompatible types in assignment (expression has type "Mixed[int, bool, []]", variable has type "Mixed[int, int, []]") [assignment]']
"""
output = """
generics_mixed_variance_inference.py:13: error: Incompatible types in assignment (expression has type "Mixed[bool, []]", variable has type "Mixed[int, []]") [assignment]
generics_mixed_variance_inference.py:16: error: Incompatible types in assignment (expression has type "Mixed[int, object, []]", variable has type "Mixed[int, int, []]") [assignment]
generics_mixed_variance_inference.py:17: error: Incompatible types in assignment (expression has type "Mixed[int, bool, []]", variable has type "Mixed[int, int, []]") [assignment]
generics_mixed_variance_inference.py:21: error: Incompatible types in assignment (expression has type "Mixed[int, [bool]]", variable has type "Mixed[int, [int]]") [assignment]
"""
Loading