replace if with match in binary_search#106969

a1393323447 wants to merge 3 commits into

rust-lang:masterrust-lang/rust:masterfrom

a1393323447:mastera1393323447/rust:masterCopy head branch name to clipboard