diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-12-21 08:33:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-21 08:33:41 +0100 |
| commit | b9c3243801d05a789b1be1e220b81f73f76c8672 (patch) | |
| tree | 8b1682671a3558252c663c5c48b736e938371993 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 4d840a6e45d464621d098cdefbe3900584d0ee9b (diff) | |
| parent | 879d28d3c1743ec474ec269a7cf76ad338868712 (diff) | |
| download | rust-b9c3243801d05a789b1be1e220b81f73f76c8672.tar.gz rust-b9c3243801d05a789b1be1e220b81f73f76c8672.zip | |
Rollup merge of #92127 - GuillaumeGomez:search-results-duplicate-removal, r=jsha
Move duplicates removal when generating results instead of when displaying them Currently, we store 200 results per tab and then display them. However, it was possible to have duplicates which is why we have this check. However, instead of doing it when displaying the results, it's much better instead to do it even before to simplify the display part a bit. r? `@jsha`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions