mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2342 - RalfJung:dead-opt, r=RalfJung

Browse Source 
remove a dead optimization

This became dead code when I removed "Untagged".
This commit is contained in:
bors 2022-07-07 11:43:38 +00:00
commit e7025223db
1 changed files with 3 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/stacked_borrows.rs
View File

@ -559,16 +559,9 @@ fn grant(
self.len() self.len()
}; };
// Put the new item there. As an optimization, deduplicate if it is equal to one of its new neighbors. // Put the new item there.
// `new_idx` might be 0 if we just cleared the entire stack. trace!("reborrow: adding item {:?}", new);
if self.get(new_idx) == Some(new) || (new_idx > 0 && self.get(new_idx - 1).unwrap() == new) self.insert(new_idx, new);
{
// Optimization applies, done.
trace!("reborrow: avoiding adding redundant item {:?}", new);
} else {
trace!("reborrow: adding item {:?}", new);
self.insert(new_idx, new);
}
Ok(()) Ok(())
} }
} }