Dhruv Manilawala 62c7d8f6ba [red-knot] Add control flow support for match statement (#13241) ... ## Summary This PR adds support for control flow for match statement. It also adds the necessary infrastructure required for narrowing constraints in case blocks and implements the logic for `PatternMatchSingleton` which is either `None` / `True` / `False`. Even after this the inferred type doesn't get simplified completely, there's a TODO for that in the test code. ## Test Plan Add test cases for control flow for (a) when there's a wildcard pattern and (b) when there isn't. There's also a test case to verify the narrowing logic. --------- Co-authored-by: Carl Meyer <carl@astral.sh>		2024-09-10 02:14:19 +05:30
..
src	[red-knot] Add control flow support for match statement (#13241)	2024-09-10 02:14:19 +05:30
Cargo.toml	Explicitly add schemars to ruff_python_ast Cargo.toml (#12275)	2024-07-11 06:46:34 +00:00