diff --git a/core/slice/slice.odin b/core/slice/slice.odin index 9722150a5..748bd28f7 100644 --- a/core/slice/slice.odin +++ b/core/slice/slice.odin @@ -170,9 +170,7 @@ 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 -{ +binary_search_by :: proc(array: $A/[]$T, key: T, f: proc(T, T) -> Ordering) -> (index: int, found: bool) #no_bounds_check { // INVARIANTS: // - 0 <= left <= (left + size = right) <= len(array) // - f returns .Less for everything in array[:left]