Use: add alias use foo as bar form

This commit is contained in:
2025-12-20 06:09:31 -05:00
parent f551e3aef3
commit a836de32c7
6 changed files with 21 additions and 3 deletions

View File

@@ -131,6 +131,7 @@ impl<A: Annotation> Foldable<A> for Use {
Ok(match self {
Self::Glob => Self::Glob,
Self::Name(name) => Self::Name(name),
Self::Alias(name, alias) => Self::Alias(name, alias),
Self::Path(name, rest) => Self::Path(name, rest.fold_in(folder)?),
Self::Tree(items) => Self::Tree(items.fold_in(folder)?),
})