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

chore: add Planner

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-05 15:10:27 +09:00
parent 3085229801
commit e71c0d7720
7 changed files with 250 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_common/set.rs
View file

@ -117,6 +117,10 @@ impl<T: Hash> Set<T> {
{
self.iter().cloned().collect()
}
pub fn into_vec(self) -> Vec<T> {
self.elems.into_iter().collect()
}
}
impl<T: Hash> IntoIterator for Set<T> {