From e6499e233fbd813933f16ae97843d9efb85a401a Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Fri, 14 Nov 2025 16:20:51 -0500 Subject: [PATCH] clarify comment --- crates/ty_python_semantic/src/types/constraints.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index 4f040c7af4..3ca30dfeed 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -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, _| {