From f00a1d86440c95fe2372358a4d4891d188be212a Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Fri, 27 Sep 2024 09:20:38 -0700
Subject: [PATCH] remove extra check

---
 utils/zerovec/src/varzerovec/components.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/utils/zerovec/src/varzerovec/components.rs b/utils/zerovec/src/varzerovec/components.rs
index a14bddcdd22..2c46f710823 100644
--- a/utils/zerovec/src/varzerovec/components.rs
+++ b/utils/zerovec/src/varzerovec/components.rs
@@ -563,16 +563,13 @@ where
         predicate: impl FnMut(&T) -> Ordering,
         range: Range<usize>,
     ) -> Option<Result<usize, usize>> {
-        if range.start > self.len() {
-            return None;
-        }
         if range.end > self.len() {
             return None;
         }
         if range.end < range.start {
             return None;
         }
-        // Safety: We bounds checked above
+        // Safety: We bounds checked above: end is in-bounds or len, and start is <= end
         let range_absolute =
             unsafe { self.binary_search_in_range_unchecked(predicate, range.clone()) };
         // The values returned are relative to the range start