mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-11-18 11:41:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

clarify comment

Browse source
This commit is contained in:
Douglas Creager 2025-11-14 16:20:51 -05:00
parent 5159068838
commit e6499e233f
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/ty_python_semantic/src/types/constraints.rs
View file

@ -735,9 +735,9 @@ impl<'db> Node<'db> {
Node::AlwaysTrue => true,
Node::AlwaysFalse => false,
Node::Interior(interior) => {
// with_assignment will return None if this node's constraint causes the if_true
// edge to become impossible. We want to ignore impossible paths, and so we treat
// them as passing the "always satisfied" check.
// with_assignment will return None if this node's constraint (or anything we can
// derive from it) causes the if_true edge to become impossible. We want to ignore
// impossible paths, and so we treat them as passing the "always satisfied" check.
let constraint = interior.constraint(db);
let true_always_satisfied = path
.with_assignment(map, constraint.when_true(), |path, _| {
@ -784,9 +784,9 @@ impl<'db> Node<'db> {
Node::AlwaysTrue => false,
Node::AlwaysFalse => true,
Node::Interior(interior) => {
// with_assignment will return None if this node's constraint causes the if_true
// edge to become impossible. We want to ignore impossible paths, and so we treat
// them as passing the "never satisfied" check.
// with_assignment will return None if this node's constraint (or anything we can
// derive from it) causes the if_true edge to become impossible. We want to ignore
// impossible paths, and so we treat them as passing the "never satisfied" check.
let constraint = interior.constraint(db);
let true_never_satisfied = path
.with_assignment(map, constraint.when_true(), |path, _| {