David Peter 4a621c2c12 [red-knot] Fix recording of negative visibility constraints (#17731) ... ## Summary We were previously recording wrong reachability constraints for negative branches. Instead of `[cond] AND (NOT [True])` below, we were recording `[cond] AND (NOT ([cond] AND [True]))`, i.e. we were negating not just the last predicate, but the `AND`-ed reachability constraint from last clause. With this fix, we now record the correct constraints for the example from #17723: ```py def _(cond: bool): if cond: # reachability: [cond] if True: # reachability: [cond] AND [True] pass else: # reachability: [cond] AND (NOT [True]) x ``` closes #17723 ## Test Plan * Regression test. * Verified the ecosystem changes		2025-04-30 09:32:13 +02:00
..
resources	[red-knot] Fix recording of negative visibility constraints (#17731)	2025-04-30 09:32:13 +02:00
src	[red-knot] Fix recording of negative visibility constraints (#17731)	2025-04-30 09:32:13 +02:00
tests	[red-knot] Add GitHub PR annotations when mdtests fail in CI (#17150)	2025-04-02 21:51:52 +01:00
build.rs	Modernize build scripts (#13837)	2024-10-20 22:35:35 +01:00
Cargo.toml	[red-knot] Add a test to ensure that KnownClass::try_from_file_and_name() is kept up to date (#16326)	2025-02-24 12:14:20 +00:00
mdtest.py	[red-knot] mdtest.py: Watch for changes in red_knot_vendored and red_knot_test as well as in red_knot_python_semantic (#17718)	2025-04-29 18:27:49 +00:00
mdtest.py.lock	[red-knot] Markdown test runner (#15632)	2025-01-21 14:06:35 +01:00