import Box by default

This commit is contained in:
Folkert 2022-04-18 21:43:16 +02:00
parent aa8eed2fc9
commit 1c8b18f176
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 14 additions and 0 deletions

View file

@ -143,6 +143,11 @@ impl Default for ModuleCache<'_> {
PQModuleName::Unqualified(ModuleName::from(ModuleName::NUM)),
);
module_names.insert(
ModuleId::BOX,
PQModuleName::Unqualified(ModuleName::from(ModuleName::BOX)),
);
Self {
module_names,
headers: Default::default(),
@ -1853,6 +1858,14 @@ fn update<'a>(
}
if !header.module_id.is_builtin() {
header
.package_qualified_imported_modules
.insert(PackageQualified::Unqualified(ModuleId::BOX));
header
.imported_modules
.insert(ModuleId::BOX, Region::zero());
header
.package_qualified_imported_modules
.insert(PackageQualified::Unqualified(ModuleId::STR));