1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/rustc_data_structures/src/binary_search_util/mod.rs b/compiler/rustc_data_structures/src/binary_search_util/mod.rs
index 332ad8af33b..1c6e227cec4 100644
--- a/compiler/rustc_data_structures/src/binary_search_util/mod.rs
+++ b/compiler/rustc_data_structures/src/binary_search_util/mod.rs
@@ -14,18 +14,14 @@ where
     let start = data.partition_point(|x| key_fn(x) < *key);
     // At this point `start` either points at the first entry with equal or
     // greater key or is equal to `size` in case all elements have smaller keys
-    // Invariant: start == size || key_fn(&data[start]) >= *key
     if start == size || key_fn(&data[start]) != *key {
         return &[];
     };
-    // Invariant: start < size && key_fn(&data[start]) == *key
 
     // Find the first entry with key > `key`. Skip `start` entries since
     // key_fn(&data[start]) == *key
-    // Invariant: offset == size ||  key_fn(&data[offset]) >= *key
     let offset = start + 1;
     let end = data[offset..].partition_point(|x| key_fn(x) <= *key) + offset;
-    // Invariant: end == size || key_fn(&data[end]) > *key
 
     &data[start..end]
 }