Complete extern prelude (again)

This commit is contained in:
Florian Diebold 2019-02-04 22:09:56 +01:00
parent ccef48b6c3
commit 699ce06ac3
4 changed files with 41 additions and 2 deletions

View file

@ -197,7 +197,10 @@ impl Scope {
.entries()
.for_each(|(name, res)| {
f(name.clone(), res.def.map(Resolution::Def));
})
});
m.item_map.extern_prelude.iter().for_each(|(name, def)| {
f(name.clone(), PerNs::types(Resolution::Def(*def)));
});
}
Scope::GenericParams(gp) => {
for param in &gp.params {