Skip to content

Commit 95585ec

Browse files
committed
update test
1 parent f1620f8 commit 95585ec

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

test-data/unit/check-narrowing.test

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3025,8 +3025,8 @@ def f2(x: Any) -> None:
30253025

30263026
def bad_compare_has_key(has_key: bool, key: str, s: tuple[str, ...]) -> None:
30273027
if has_key == key in s: # E: Non-overlapping equality check (left operand type: "bool", right operand type: "str")
3028-
reveal_type(has_key) # N: Revealed type is "builtins.bool"
3029-
reveal_type(key) # N: Revealed type is "builtins.str"
3028+
reveal_type(has_key) # E: Statement is unreachable
3029+
reveal_type(key)
30303030

30313031
def bad_but_should_pass(has_key: bool, key: bool, s: tuple[bool, ...]) -> None:
30323032
if has_key == key in s:

0 commit comments

Comments
 (0)