language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 02:39:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update str.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-24 17:03:39 +09:00
parent f604338d99
commit f86a449846
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_common/str.rs
View file

@ -209,6 +209,10 @@ impl Str {
}
Str::rc(&ret)
}
pub fn find_sub<'a>(&self, pats: &[&'a str]) -> Option<&'a str> {
pats.iter().find(|&&pat| self.contains(pat)).copied()
}
}
#[cfg(test)]