diff options
| author | bors <bors@rust-lang.org> | 2023-08-09 20:10:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-09 20:10:37 +0000 |
| commit | 43c869d1ecd2e9294997131f8ebac71b403e00bb (patch) | |
| tree | 2ce3b809b37d957e04c364721e10f36492971734 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | f21c6576644c9715f59491ab483b78a6f6f35cbc (diff) | |
| parent | 2c69b466ac8b71526ec372d29cc46848716fbb0b (diff) | |
| download | rust-43c869d1ecd2e9294997131f8ebac71b403e00bb.tar.gz rust-43c869d1ecd2e9294997131f8ebac71b403e00bb.zip | |
Auto merge of #3021 - ttsugriy:bin-search, r=RalfJung
Use Vec's binary search instead of hand-written one.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions