Auto merge of #3028 - ttsugriy:range-map-find-offset, r=RalfJung

Browse source

Replace hand-written binary search with Vec::binary_search_by.

It's similar to https://github.com/rust-lang/miri/pull/3021 and should improve maintainability.

...

This commit is contained in:

bors 2023-08-16 07:26:49 +00:00

parent 1523d8d8be f6577504f7

commit 50562feddb

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available