language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-01 05:11:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore(els): remove AnalysisResultCache

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-09-14 13:59:42 +09:00
parent d92e3f5425
commit 94b5fc27e9
13 changed files with 198 additions and 282 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_common/traits.rs
View file

@ -255,6 +255,7 @@ pub trait Stream<T>: Sized {
self.ref_mut_payload().split_off(at)
}
/// Remove all elements that don't satisfy the predicate.
fn retain(&mut self, f: impl FnMut(&T) -> bool) {
self.ref_mut_payload().retain(f);
}