Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

describe CannotSimplify results

This commit is contained in:
Douglas Creager 2025-12-09 18:22:16 -05:00
parent 0c717834d3
commit 4643f3ff20
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/ty_python_semantic/src/types/constraints.rs
View File

@ -2167,6 +2167,8 @@ impl<'db> InteriorNode<'db> {
); );
} }
// If the intersection doesn't simplify to a single clause, we shouldn't update the
// BDD.
IntersectionResult::CannotSimplify => {} IntersectionResult::CannotSimplify => {}
IntersectionResult::Disjoint => { IntersectionResult::Disjoint => {
@ -2758,7 +2760,12 @@ impl<'db> SequentMap<'db> {
self.add_single_implication(db, intersection_constraint, right_constraint); self.add_single_implication(db, intersection_constraint, right_constraint);
self.enqueue_constraint(intersection_constraint); self.enqueue_constraint(intersection_constraint);
} }
// The sequent map only needs to include constraints that might appear in a BDD. If the
// intersection does not collapse to a single constraint, then there's no new
// constraint that we need to add to the sequent map.
IntersectionResult::CannotSimplify => {} IntersectionResult::CannotSimplify => {}
IntersectionResult::Disjoint => { IntersectionResult::Disjoint => {
tracing::debug!( tracing::debug!(
target: "ty_python_semantic::types::constraints::SequentMap", target: "ty_python_semantic::types::constraints::SequentMap",