From 526d33830029ec87b5087a49a095b554bfad9bf0 Mon Sep 17 00:00:00 2001
From: Matija Dizdar <matija.dizdar@protonmail.com>
Date: Wed, 6 Dec 2023 21:29:18 +0100
Subject: [PATCH] removed incorrect requirement for key type to be ordered in
 binary_search_by

---
 core/slice/slice.odin | 1 -
 1 file changed, 1 deletion(-)

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)