Sure, but that's not a meaningful definition of safety, because according to this definition writing a safe O(log n) binary search is impossible in every single

Sure, but that's not a meaningful definition of safety, because according to this definition writing a safe O(log n) binary search is impossible in every single mainstream language in existence.