Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
the8472:source-lines-partition-point
Sep 22, 2022
Merged

use partition_point instead of binary_search when looking up source lines#101999
bors merged 1 commit into
rust-lang:masterfrom
the8472:source-lines-partition-point

use partition_point instead of binary_search when looking up source l…

40b3726
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs