Douglas Creager b39a4ad01d [red-knot] Rename constraint to predicate (#16382) ... In https://github.com/astral-sh/ruff/pull/16306#discussion_r1966290700, @carljm pointed out that #16306 introduced a terminology problem, with too many things called a "constraint". This is a follow-up PR that renames `Constraint` to `Predicate` to hopefully clear things up a bit. So now we have that: - a _predicate_ is a Python expression that might influence type inference - a _narrowing constraint_ is a list of predicates that constraint the type of a binding that is visible at a use - a _visibility constraint_ is a ternary formula of predicates that define whether a binding is visible or a statement is reachable This is a pure renaming, with no behavioral changes.		2025-02-25 14:52:40 -05:00
..
resources	[red-knot] Correct modeling of dunder calls (#16368)	2025-02-25 20:38:15 +01:00
src	[red-knot] Rename constraint to predicate (#16382)	2025-02-25 14:52:40 -05:00
tests	red_knot_test: add support for diagnostic snapshotting	2025-02-05 13:02:54 -05: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] Fix possible TOCTOU mistake in mdtest runner (#15673)	2025-01-22 15:24:25 +00:00
mdtest.py.lock	[red-knot] Markdown test runner (#15632)	2025-01-21 14:06:35 +01:00