Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

debug display simplification

Browse Source
This commit is contained in:
Douglas Creager
2025-10-17 14:14:39 -04:00
parent 22075d5ed7
commit a44fbd6658
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1152,6 +1152,12 @@ impl<'db> SatisfiedClause<'db> {
// of breaking from the inner loop, so that we don't bump index `i` below.
// (We'll have swapped another element into place at that index, and want to
// make sure that we process it.)
eprintln!(
"===> A {} implies {}, removing {}",
self.constraints[j].display(db),
self.constraints[i].display(db),
self.constraints[i].display(db),
);
self.constraints.swap_remove(i);
changes_made = true;
continue 'outer;
@@ -1159,6 +1165,12 @@ impl<'db> SatisfiedClause<'db> {
// If constraint `j` is removed, then we can continue the inner loop. We will
// swap a new element into place at index `j`, and will continue comparing the
// constraint at index `i` with later constraints.
eprintln!(
"===> B {} implies {}, removing {}",
self.constraints[i].display(db),
self.constraints[j].display(db),
self.constraints[j].display(db),
);
self.constraints.swap_remove(j);
changes_made = true;
} else {