Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Document current limitations

Browse Source
This commit is contained in:
David Peter
2024-12-18 14:03:16 +01:00
parent 55330c4ed7
commit 45d544b601
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
crates/red_knot_python_semantic/resources/mdtest/statically_known_branches.md
View File

@@ -835,7 +835,8 @@ reveal_type(x) # revealed: Literal[2]
(y := 1) and (y := 2) and (y := 3) and (y := 4)
reveal_type(y) # revealed: Literal[4]
# TODO: should be Literal[4]
reveal_type(y) # revealed: Literal[2, 3, 4]
```
### Always false, `or`
@@ -847,7 +848,8 @@ reveal_type(x) # revealed: Literal[1]
(y := 0) or (y := 0) or (y := 1) or (y := 2)
reveal_type(y) # revealed: Literal[1]
# TODO: should be Literal[1]
reveal_type(y) # revealed: Literal[0, 1]
```
### Always false, `and`
@@ -859,7 +861,8 @@ reveal_type(x) # revealed: Literal[0]
(y := 0) and (y := 1) and (y := 2) and (y := 3)
reveal_type(y) # revealed: Literal[0]
# TODO: should be Literal[0]
reveal_type(y) # revealed: Literal[2, 3]
```
## While loops