How do you expect the compiler to statically guarantee that this property holds in all the cases you want to do a binary search?
How do you expect the compiler to statically guarantee that this property holds in all the cases you want to do a binary search?