use partition_point instead of binary_search when looking up source lines#101999

Merged

bors merged 1 commit intorust-lang:masterfrom

the8472:source-lines-partition-point

Sep 22, 2022

Commits on Sep 18, 2022

use partition_point instead of binary_search when looking up source lines
the8472
committed