Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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/pyrefly/annotations_generators.toml
Original file line number Diff line number Diff line change
Expand Up @@ -22,5 +22,5 @@ ERROR annotations_generators.py:119:5-19: Cannot yield from `Generator[int, None
ERROR annotations_generators.py:135:5-29: Cannot yield from `Generator[None, int, None]`, which is not assignable to declared return type `Generator[None, str, Unknown]` [invalid-yield]
ERROR annotations_generators.py:140:5-13: This `yield` expression is unreachable [unreachable]
ERROR annotations_generators.py:145:5-13: This `yield` expression is unreachable [unreachable]
ERROR annotations_generators.py:190:5-10: This `yield` expression is unreachable [unreachable]
ERROR annotations_generators.py:190:5-12: This `yield` expression is unreachable [unreachable]
"""
2 changes: 1 addition & 1 deletion conformance/results/results.html
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ <h3>Python Type System Conformance Test Results</h3>
</th>
<th class='tc-header'><div class='tc-name'>pyright 1.1.408</div>
</th>
<th class='tc-header'><div class='tc-name'>zuban 0.5.1</div>
<th class='tc-header'><div class='tc-name'>zuban 0.6.0</div>
</th>
<th class='tc-header'><div class='tc-name'>pyrefly 0.53.0</div>
</th>
Expand Down
2 changes: 1 addition & 1 deletion conformance/results/zuban/typeddicts_operations.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ typeddicts_operations.py:26: error: TypedDict "Movie" has no key "other" [typed
typeddicts_operations.py:28: error: Missing key "year" for TypedDict "Movie" [typeddict-item]
typeddicts_operations.py:29: error: Incompatible types (expression has type "float", TypedDict item "year" has type "int") [typeddict-item]
typeddicts_operations.py:32: error: Extra key "other" for TypedDict "Movie" [typeddict-unknown-key]
typeddicts_operations.py:37: error: Expected TypedDict key to be string literal [misc]
typeddicts_operations.py:37: error: Expected TypedDict key to be string literal [literal-required]
typeddicts_operations.py:47: error: "Movie" has no attribute "clear" [attr-defined]
typeddicts_operations.py:49: error: Key "name" of TypedDict "Movie" cannot be deleted [misc]
typeddicts_operations.py:62: error: "MovieOptional" has no attribute "clear" [attr-defined]
Expand Down
2 changes: 1 addition & 1 deletion conformance/results/zuban/version.toml
Original file line number Diff line number Diff line change
@@ -1 +1 @@
version = "zuban 0.5.1"
version = "zuban 0.6.0"
2 changes: 1 addition & 1 deletion conformance/tests/annotations_generators.py
Original file line number Diff line number Diff line change
Expand Up @@ -187,7 +187,7 @@ async def generator29() -> AsyncIterator[int]:

async def generator30() -> AsyncIterator[int]:
raise NotImplementedError
yield
yield 1


async def uses_generator30() -> None:
Expand Down