Replace the old implementation with the new TDD one!

astral-sh · Jan 31, 2025 · 3476728 · 3476728
1 parent 7a6dca9
commit 3476728
Show file tree

Hide file tree

Showing 4 changed files with 305 additions and 745 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
@@ -1492,6 +1492,8 @@ from module import symbol
 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
 
@@ -1514,8 +1516,7 @@ 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
 
-# TODO: This should ideally be `Literal[2]` as well:
-reveal_type(y)  # revealed: Literal[1, 2]
+reveal_type(y)  # revealed: Literal[2]
 ```
 
 ## Unsupported features

diff --git a/crates/red_knot_python_semantic/src/lib.rs b/crates/red_knot_python_semantic/src/lib.rs
@@ -27,7 +27,6 @@ pub(crate) mod site_packages;
 mod stdlib;
 mod suppression;
 pub(crate) mod symbol;
-mod tdd;
 pub mod types;
 mod unpack;
 mod util;