diff options
| author | Matija Dizdar <matija.dizdar@protonmail.com> | 2023-12-06 21:29:18 +0100 |
|---|---|---|
| committer | Matija Dizdar <matija.dizdar@protonmail.com> | 2023-12-06 21:29:18 +0100 |
| commit | 526d33830029ec87b5087a49a095b554bfad9bf0 (patch) | |
| tree | 94e86afea1d762e4618493ed1ed59cee207c8f32 | |
| parent | 31b1aef44e1b0178f10f5faa62ceedddda56667b (diff) | |
removed incorrect requirement for key type to be ordered in binary_search_by
| -rw-r--r-- | core/slice/slice.odin | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/slice/slice.odin b/core/slice/slice.odin index 9722150a5..67e86bf4c 100644 --- a/core/slice/slice.odin +++ b/core/slice/slice.odin @@ -171,7 +171,6 @@ binary_search :: proc(array: $A/[]$T, key: T) -> (index: int, found: bool) @(require_results) binary_search_by :: proc(array: $A/[]$T, key: T, f: proc(T, T) -> Ordering) -> (index: int, found: bool) - where intrinsics.type_is_ordered(T) #no_bounds_check { // INVARIANTS: // - 0 <= left <= (left + size = right) <= len(array) |