73     fn cmp(&self, other: &NodePtr<K, V>) -> Ordering {  in cmp()
74         unsafe { (*self.0).key.cmp(&(*other.0).key) }  in cmp()
79     fn partial_cmp(&self, other: &NodePtr<K, V>) -> Option<Ordering> {  in partial_cmp()
80         unsafe { Some((*self.0).key.cmp(&(*other.0).key)) }  in partial_cmp()
85     fn eq(&self, other: &NodePtr<K, V>) -> bool {  in eq()
86         self.0 == other.0  in eq()
418     fn eq(&self, other: &RBTree<K, V>) -> bool {  in eq()
419         if self.len() != other.len() {  in eq()
424             .all(|(key, value)| other.get(key).map_or(false, |v| *value == *v))  in eq()
1225         let mut other;  in delete_fixup()  localVariable
1228                 other = parent.right();  in delete_fixup()
1230                 if other.is_red_color() {  in delete_fixup()
1231                     other.set_black_color();  in delete_fixup()
1234                     other = parent.right();  in delete_fixup()
1238                 if other.left().is_black_color() && other.right().is_black_color() {  in delete_fixup()
1239                     other.set_red_color();  in delete_fixup()
1244                     if other.right().is_black_color() {  in delete_fixup()
1245                         other.left().set_black_color();  in delete_fixup()
1246                         other.set_red_color();  in delete_fixup()
1247                         self.right_rotate(other);  in delete_fixup()
1248                         other = parent.right();  in delete_fixup()
1251                     other.set_color(parent.get_color());  in delete_fixup()
1253                     other.right().set_black_color();  in delete_fixup()
1259                 other = parent.left();  in delete_fixup()
1261                 if other.is_red_color() {  in delete_fixup()
1262                     other.set_black_color();  in delete_fixup()
1265                     other = parent.left();  in delete_fixup()
1269                 if other.left().is_black_color() && other.right().is_black_color() {  in delete_fixup()
1270                     other.set_red_color();  in delete_fixup()
1275                     if other.left().is_black_color() {  in delete_fixup()
1276                         other.right().set_black_color();  in delete_fixup()
1277                         other.set_red_color();  in delete_fixup()
1278                         self.left_rotate(other);  in delete_fixup()
1279                         other = parent.left();  in delete_fixup()
1282                     other.set_color(parent.get_color());  in delete_fixup()
1284                     other.left().set_black_color();  in delete_fixup()