Skip to content

Commit

Permalink
Remove recursion depth limit test
Browse files Browse the repository at this point in the history
  • Loading branch information
dcreager committed Feb 3, 2025
1 parent aef9dd2 commit 6b90163
Showing 1 changed file with 0 additions and 32 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1487,38 +1487,6 @@ if True:
from module import symbol
```

## Known limitations

We currently have a limitation in the complexity (depth) of the visibility constraints that are
supported. This is to avoid pathological cases that would require us to recurse deeply.

TODO: We don't! Remove this!

```py
x = 1

False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or (x := 2) # fmt: skip

# This still works fine:
reveal_type(x) # revealed: Literal[2]

y = 1

False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or False or False or \
False or False or False or (y := 2) # fmt: skip

reveal_type(y) # revealed: Literal[2]
```

## Unsupported features

We do not support full unreachable code analysis yet. We also raise diagnostics from
Expand Down

0 comments on commit 6b90163

Please sign in to comment.