mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-17 17:55:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

repo: elide lifetime on resolve_change_id_prefix()

Browse source
This commit is contained in:
Martin von Zweigbergk 2023-02-12 20:51:43 -08:00 committed by Martin von Zweigbergk
parent 04a0c60b16
commit d6909002f0
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
lib/src/repo.rs
View file

@ -283,10 +283,10 @@ impl ReadonlyRepo {
})
}
pub fn resolve_change_id_prefix<'a>(
&'a self,
pub fn resolve_change_id_prefix(
&self,
prefix: &HexPrefix,
) -> PrefixResolution<Vec<IndexEntry<'a>>> {
) -> PrefixResolution<Vec<IndexEntry>> {
let index = self.index();
self.change_id_index()
.resolve_prefix_with(prefix, |&pos| index.entry_by_pos(pos))