So many interesting findings in the post. The tantivy binary search & rust binary search only has one different at the end, knowing the size of the slice ahead

So many interesting findings in the post. The tantivy binary search & rust binary search only has one different at the end, knowing the size of the slice ahead of time, right? Could the rust compiler infer the size ahead of time?