Iterate in reverse when comparing Stacks

Author: saethlin

src/stacked_borrows.rs

@@ -79,7 +79,7 @@ impl fmt::Debug for Item {
 }
 
 /// Extra per-location state.
-#[derive(Clone, Debug, PartialEq, Eq)]
+#[derive(Clone, Debug, Eq)]
 pub struct Stack {
     /// Used *mostly* as a stack; never empty.
     /// Invariants:
@@ -88,6 +88,17 @@ pub struct Stack {
     borrows: Vec<Item>,
 }
 
+/// This implementation is primarily used when attempting to merge borrow stacks for adjacent
+/// bytes. For adjacent stacks, when the stacks differ at all, they tend to differ either in
+/// length or at the end of the borrows array. Iterating in reverse returns faster for `Stack`s
+/// that are not equal.
+impl PartialEq for Stack {
+    fn eq(&self, other: &Self) -> bool {
+        self.borrows.len() == other.borrows.len()
+            && self.borrows.iter().rev().zip(other.borrows.iter().rev()).all(|(s, o)| s == o)
+    }
+}
+
 /// Extra per-allocation state.
 #[derive(Clone, Debug)]
 pub struct Stacks {