mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-08 09:38:26 +03:00
1df20569dd
Instruct LLVM that binary_search returns a valid index This allows removing bound checks when the return value of `binary_search` is used to index into the slice it was call on. I also added a codegen test for this, not sure if it's the right thing to do (I didn't find anything on the dev guide), but it felt so.