Update avl.rs

deam-iris · web-flow · commit 70c1621ebdfe · 2025-10-28T09:59:55.000+09:00
diff --git a/src/avl.rs b/src/avl.rs
@@ -314,15 +314,13 @@ impl<K: Ord, V> Node<K, V> {
             if left.balance_factor() == 1 {
                 left.rotate_left();
             }
-            assert!(left.balance_factor().abs() <= 1);
             self.rotate_right();
         } else if self.balance_factor() == 2 { // `self` is right-heavy.
             let right: &mut Node<K, V> = self.right.as_deref_mut().unwrap();
             assert!(right.balance_factor().abs() <= 1);
             if right.balance_factor() == -1 {
                 right.rotate_right();
             }
-            assert!(right.balance_factor().abs() <= 1);
             self.rotate_left();
         }
         assert!(self.balance_factor().abs() <= 1);

Original file line number	Diff line number	Diff line change
`@@ -314,15 +314,13 @@ impl<K: Ord, V> Node<K, V> {`
`314`	`314`	`if left.balance_factor() == 1 {`
`315`	`315`	`left.rotate_left();`
`316`	`316`	`}`
`317`		`- assert!(left.balance_factor().abs() <= 1);`
`318`	`317`	`self.rotate_right();`
`319`	`318`	} else if self.balance_factor() == 2 { // `self` is right-heavy.
`320`	`319`	`let right: &mut Node<K, V> = self.right.as_deref_mut().unwrap();`
`321`	`320`	`assert!(right.balance_factor().abs() <= 1);`
`322`	`321`	`if right.balance_factor() == -1 {`
`323`	`322`	`right.rotate_right();`
`324`	`323`	`}`
`325`		`- assert!(right.balance_factor().abs() <= 1);`
`326`	`324`	`self.rotate_left();`
`327`	`325`	`}`
`328`	`326`	`assert!(self.balance_factor().abs() <= 1);`