Instruct LLVM that binary_search returns a valid index#81354

Merged

bors merged 2 commits intorust-lang:masterfrom

SkiFire13:binary-search-assume

Mar 28, 2021

Commits on Mar 6, 2021

Instruct LLVM that binary_search_by returns a valid index
SkiFire13
committed
Add codegen test checking binary_search allows eliding bound checks
SkiFire13
committed