Merge remote-tracking branch 'upstream' into annotate-type-signatures

This commit is contained in:
snobee 2025-01-27 14:21:24 -08:00
commit 4f7729c044
No known key found for this signature in database
GPG key ID: ABF756C92D69FDF1
330 changed files with 10591 additions and 7447 deletions

View file

@ -254,7 +254,6 @@ impl IterTokens for AppHeader<'_> {
(provides.iter_tokens(arena).into_iter())
.chain(packages.value.iter_tokens(arena))
.chain(provides.iter_tokens(arena))
.chain(old_imports.iter().flat_map(|i| i.item.iter_tokens(arena)))
.collect_in(arena)
}