From 6b901638a93eeba2cedb5fe3b4a499c15813c2bf Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Mon, 3 Feb 2025 10:29:44 -0500 Subject: [PATCH] Remove recursion depth limit test --- .../mdtest/statically_known_branches.md | 32 ------------------- 1 file changed, 32 deletions(-) diff --git a/crates/red_knot_python_semantic/resources/mdtest/statically_known_branches.md b/crates/red_knot_python_semantic/resources/mdtest/statically_known_branches.md index f93c4cd1eb0a27..e49ba5042bb6e9 100644 --- a/crates/red_knot_python_semantic/resources/mdtest/statically_known_branches.md +++ b/crates/red_knot_python_semantic/resources/mdtest/statically_known_branches.md @@ -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