inline next_deleted

Markus Westerlind · Markus Westerlind · commit 2b7a513ae7a7 · 2020-10-06T12:20:26.000+02:00
diff --git a/src/raw/mod.rs b/src/raw/mod.rs
@@ -1226,8 +1226,14 @@ impl RawTableInner {
         self.bucket_mask == 0
     }
 
+    #[inline]
     unsafe fn next_deleted(&self, start: usize) -> Option<usize> {
-        (start..self.buckets()).find(|&i| *self.ctrl(i) == DELETED)
+        for i in start..self.buckets() {
+            if *self.ctrl(i) == DELETED {
+                return Some(i);
+            }
+        }
+        None
     }
 
     #[allow(clippy::mut_mut)]

Original file line number	Diff line number	Diff line change
`@@ -1226,8 +1226,14 @@ impl RawTableInner {`
`1226`	`1226`	`self.bucket_mask == 0`
`1227`	`1227`	`}`
`1228`	`1228`
	`1229`	`+ #[inline]`
`1229`	`1230`	`unsafe fn next_deleted(&self, start: usize) -> Option<usize> {`
`1230`		`- (start..self.buckets()).find(\|&i\| *self.ctrl(i) == DELETED)`
	`1231`	`+ for i in start..self.buckets() {`
	`1232`	`+ if *self.ctrl(i) == DELETED {`
	`1233`	`+ return Some(i);`
	`1234`	`+ }`
	`1235`	`+ }`
	`1236`	`+ None`
`1231`	`1237`	`}`
`1232`	`1238`
`1233`	`1239`	`#[allow(clippy::mut_mut)]`